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 |