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 |
Fri, 09 Jul 1999 18:47:56 +0200 | wenzelm | added local_def(_i); | changeset | files |
Fri, 09 Jul 1999 18:47:15 +0200 | wenzelm | global_qed: removed alt_name, alt_att; | changeset | files |
Fri, 09 Jul 1999 18:46:51 +0200 | wenzelm | global_qed: removed alt_name, alt_att; | changeset | files |
Fri, 09 Jul 1999 18:45:15 +0200 | wenzelm | added termp; | changeset | files |