| Wed, 07 May 2008 10:59:32 +0200 | berghofe | Deleted instance "set :: ({heap, finite}) heap" | file | diff | annotate |
| Wed, 09 Apr 2008 05:44:14 +0200 | huffman | fix spelling | file | diff | annotate |
| Mon, 17 Mar 2008 18:37:00 +0100 | wenzelm | removed duplicate lemmas; | file | diff | annotate |
| Wed, 27 Feb 2008 21:41:08 +0100 | haftmann | added theories for imperative HOL | file | diff | annotate |