| Wed, 13 Feb 2008 09:35:32 +0100 | haftmann | tuned whitespace | changeset | files |
| Wed, 13 Feb 2008 09:35:31 +0100 | haftmann | more abstract lemmas | changeset | files |
| Mon, 11 Feb 2008 22:12:19 +0100 | huffman | fix spelling | changeset | files |
| Mon, 11 Feb 2008 21:32:13 +0100 | wenzelm | imports Main; | changeset | files |
| Mon, 11 Feb 2008 21:32:12 +0100 | wenzelm | removed unnecessary theory qualifiers; | changeset | files |
| Mon, 11 Feb 2008 21:32:11 +0100 | wenzelm | simultaneous use_thys; | changeset | files |
| Mon, 11 Feb 2008 21:32:10 +0100 | wenzelm | added Id; | changeset | files |
| Mon, 11 Feb 2008 15:40:21 +0100 | krauss | Made theory names in ZF disjoint from HOL theory names to allow loading both developments | changeset | files |
| Mon, 11 Feb 2008 15:19:17 +0100 | urbanc | tuned proofs and comments | changeset | files |
| Sun, 10 Feb 2008 20:49:48 +0100 | wenzelm | tuned spaces; | changeset | files |
| Sun, 10 Feb 2008 20:49:47 +0100 | wenzelm | tuned default position; | changeset | files |
| Sun, 10 Feb 2008 20:49:46 +0100 | wenzelm | added default_properties; | changeset | files |
| Sun, 10 Feb 2008 20:49:45 +0100 | wenzelm | added position_properties; | changeset | files |
| Sun, 10 Feb 2008 20:49:42 +0100 | wenzelm | maintain default position; | changeset | files |