| 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 |
| Wed, 27 Feb 2008 21:41:08 +0100 | haftmann | added theories for imperative HOL | file | diff | annotate |