| Tue, 03 Feb 2009 19:37:00 +0100 | haftmann | changed name space policy for Haskell includes | file | diff | annotate |
| Thu, 08 Jan 2009 17:10:41 +0100 | haftmann | split of Imperative_HOL theories from HOL-Library | file | diff | annotate |
| Sat, 06 Sep 2008 14:02:36 +0200 | haftmann | dropped "run" marker in monad syntax | file | diff | annotate |
| Wed, 27 Aug 2008 11:24:31 +0200 | haftmann | untabification | file | diff | annotate |
| Wed, 30 Jul 2008 07:33:57 +0200 | haftmann | SML_imp, OCaml_imp | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:28 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 21 Jul 2008 15:26:25 +0200 | haftmann | added code generation | file | diff | annotate |
| Sat, 19 Jul 2008 19:27:13 +0200 | bulwahn | added verification framework for the HeapMonad and quicksort as example for this framework | file | diff | annotate |