| Mon, 05 Jul 2010 15:36:37 +0200 | only definite assignment | file | diff | annotate |
| Mon, 05 Jul 2010 15:25:42 +0200 | remove primitive operation Heap.array in favour of Heap.array_of_list | file | diff | annotate |
| Mon, 05 Jul 2010 14:34:28 +0200 | simplified representation of monad type | file | diff | annotate |
| Wed, 31 Mar 2010 16:44:41 +0200 | adding MREC induction rule in Imperative HOL | file | diff | annotate |
| Thu, 08 Jan 2009 17:10:41 +0100 | split of Imperative_HOL theories from HOL-Library | file | diff | annotate | base |