| Sat, 10 Jul 1999 21:35:08 +0200 | wenzelm | prove_goalw_cterm_general: pass exeption; | changeset | files |
| Sat, 10 Jul 1999 21:34:01 +0200 | wenzelm | try/can: pass Interrupt and ERROR; | changeset | files |
| Fri, 09 Jul 1999 19:11:50 +0200 | wenzelm | rmdir pdf; | changeset | files |
| Fri, 09 Jul 1999 18:59:01 +0200 | wenzelm | mono: extra I/E; | changeset | files |
| Fri, 09 Jul 1999 18:58:05 +0200 | wenzelm | mono: AddXI/Es; | changeset | files |
| 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 |