| Wed, 19 Oct 2005 21:52:37 +0200 | wenzelm | removed obsolete IOA/meta_theory/ioa_package.ML; | changeset | files |
| Wed, 19 Oct 2005 21:52:36 +0200 | wenzelm | removed obsolete domain/interface.ML, IOA/meta_theory/ioa_package.ML; | changeset | files |
| Wed, 19 Oct 2005 21:52:35 +0200 | wenzelm | removed obsolete domain/interface.ML; | changeset | files |
| Wed, 19 Oct 2005 21:52:34 +0200 | wenzelm | removed obsolete add_typedef_x; | changeset | files |
| Wed, 19 Oct 2005 21:52:33 +0200 | wenzelm | removed print_exn (better let the toplevel do this); | changeset | files |
| Wed, 19 Oct 2005 21:52:32 +0200 | wenzelm | removed obsolete add_recdef_old; | changeset | files |
| Wed, 19 Oct 2005 21:52:31 +0200 | wenzelm | removed obsolete HOL/thy_syntax.ML; | changeset | files |
| Wed, 19 Oct 2005 21:52:30 +0200 | wenzelm | * Theory syntax: discontinued non-Isar format and old Isar headers; | changeset | files |