| Thu, 24 Aug 2000 00:53:23 +0200 | wenzelm | choosefrom: easy settings; | changeset | files |
| Wed, 23 Aug 2000 15:24:46 +0200 | wenzelm | isabelle env: trivlist; | changeset | files |
| Tue, 22 Aug 2000 11:24:44 +0200 | paulson | removed redundant commands | changeset | files |
| Tue, 22 Aug 2000 11:24:24 +0200 | paulson | removed most "makeatother", no longer needed | changeset | files |
| Tue, 22 Aug 2000 10:59:15 +0200 | paulson | updated to latest versions of ttbox and ttbreak | changeset | files |
| Mon, 21 Aug 2000 19:29:27 +0200 | wenzelm | updated; | changeset | files |
| Mon, 21 Aug 2000 19:17:07 +0200 | wenzelm | updated; | changeset | files |