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 |