| Tue, 31 May 2005 11:53:11 +0200 | wenzelm | antiquotations: added options short_names, unique_names; | changeset | files |
| Tue, 31 May 2005 11:53:10 +0200 | wenzelm | improved naming of complex theorems in presentation; | changeset | files |
| Tue, 31 May 2005 11:00:59 +0200 | wenzelm | removed; | changeset | files |
| Tue, 31 May 2005 10:58:51 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 31 May 2005 10:40:22 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 31 May 2005 10:39:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 30 May 2005 23:07:58 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 30 May 2005 16:32:47 +0200 | obua | Infinite chains in definitions are now detected, too. | changeset | files |
| 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 |