| Thu, 08 Apr 2010 08:17:27 +0200 | bulwahn | added imperative SAT checker; improved headers of example files; adopted IsaMakefile | file | diff | annotate |
| Thu, 10 Dec 2009 11:58:26 +0100 | bulwahn | added Imperative_HOL examples; added tail-recursive combinator for monadic heap functions; adopted code generation of references; added lemmas | file | diff | annotate |
| Tue, 30 Jun 2009 14:53:58 +0200 | haftmann | tuned | file | diff | annotate |
| Tue, 24 Mar 2009 09:15:51 +0100 | haftmann | added Imperative_HOL_ex | file | diff | annotate |