| Mon, 30 May 2005 10:25:46 +0200 | kleing | typo | changeset | files |
| Mon, 30 May 2005 10:23:15 +0200 | kleing | updated para on searching | changeset | files |
| 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 |
| Sun, 29 May 2005 05:23:28 +0200 | kleing | make COPYRIGHT file available for web page | changeset | files |
| Sat, 28 May 2005 05:05:24 +0200 | kleing | path /home/stud doesn't exist on macbroy33 (only /usr/stud) | changeset | files |