Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Sat, 17 May 2008 21:46:22 +0200 | wenzelm | avoid undeclared variables within proofs; | file | diff | annotate |
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 |