| Wed, 28 Dec 2011 12:52:23 +0100 | huffman | remove some duplicate lemmas | changeset | files |
| Wed, 28 Dec 2011 10:48:39 +0100 | huffman | simplify proof | changeset | files |
| Wed, 28 Dec 2011 10:30:43 +0100 | huffman | replace 'lemmas' with explicit 'lemma' | changeset | files |
| Wed, 28 Dec 2011 07:58:17 +0100 | huffman | add section headings | changeset | files |
| Tue, 27 Dec 2011 18:26:15 +0100 | huffman | remove duplicate lemma lists | changeset | files |
| Wed, 28 Dec 2011 20:03:13 +0100 | wenzelm | reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; | changeset | files |
| Wed, 28 Dec 2011 15:08:12 +0100 | wenzelm | disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor; | changeset | files |