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 |