Fri, 09 Jul 1999 18:54:55 +0200 | wenzelm | type claset: added extra I/E rules; | changeset | files |
Fri, 09 Jul 1999 18:48:54 +0200 | wenzelm | added Isar/local_defs.ML; | changeset | files |
Fri, 09 Jul 1999 18:48:33 +0200 | wenzelm | added 'def'; | changeset | files |