Telecharger Cours

The Isabelle Reference Manual

Of course, you should only assert such rules if they are true for your par- ... val exE. = exE val contrapos. = contrapos val contrapos2.



Download