[SAL-HELP] OBLIGATION | CLAIM | LEMMA | THEOREM
Leonardo de Moura
demoura at csl.sri.com
Mon Jul 31 11:15:59 PDT 2006
Hi Lucian,
> Is there any actual difference between these assertion forms?
No, there is no difference.
Cheers,
Leonardo.
More information about the SAL-HELP
mailing list