| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
| Tue, 01 Jul 2008 01:19:08 +0200 | huffman | rename lemmas INF_foo to INFM_foo; add new lemmas about MOST and INFM | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Mon, 17 Dec 2007 18:11:21 +0100 | paulson | fixed ancestors | file | diff | annotate |
| Mon, 10 Dec 2007 11:24:09 +0100 | haftmann | switched import from Main to PreList | file | diff | annotate |
| Thu, 14 Jun 2007 23:04:39 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 10 Mar 2007 16:25:57 +0100 | berghofe | Renamed INF to INFM to avoid clash with INF operator defined in FixedPoint theory. | file | diff | annotate |