Wed, 19 Oct 2005 21:52:50 +0200 | wenzelm | removed add_inductive_x; | changeset | files |
Wed, 19 Oct 2005 21:52:49 +0200 | wenzelm | removed obsolete add_datatype_x; | changeset | files |
Wed, 19 Oct 2005 21:52:48 +0200 | wenzelm | removed obsolete thy_syntax.ML; | changeset | files |
Wed, 19 Oct 2005 21:52:47 +0200 | wenzelm | removed obsolete old_symbol_source; | changeset | files |
Wed, 19 Oct 2005 21:52:46 +0200 | wenzelm | removed obsolete non-Isar theory format and old Isar theory headers; | changeset | files |
Wed, 19 Oct 2005 21:52:45 +0200 | wenzelm | removed old-style theory format; | changeset | files |
Wed, 19 Oct 2005 21:52:44 +0200 | wenzelm | avoid lagacy read function; | changeset | files |