| Thu, 24 Aug 2000 11:05:20 +0200 | paulson | added some xsymbols, and tidied | changeset | files |
| Thu, 24 Aug 2000 00:55:42 +0200 | wenzelm | more symbols; | changeset | files |
| Thu, 24 Aug 2000 00:54:54 +0200 | wenzelm | disabled trivlist (causes non-descript problems in HOL-Real-HahnBanach); | changeset | files |
| Thu, 24 Aug 2000 00:53:53 +0200 | wenzelm | choosefrom: support easy settings; | changeset | files |
| 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 |