| Mon, 30 May 2005 08:21:58 +0200 | nipkow | added \nexists | changeset | files |
| Sun, 29 May 2005 12:41:40 +0200 | obua | Removes an inconsistent definition from Library.thy , | changeset | files |
| Sun, 29 May 2005 12:39:12 +0200 | obua | Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms). | changeset | files |