| 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 |