| Wed, 19 Oct 2005 21:52:43 +0200 | wenzelm | added thm(s) retrieval functions (from goals.ML); | changeset | files |
| Wed, 19 Oct 2005 21:52:42 +0200 | wenzelm | removed obsolete old-locales; | changeset | files |
| Wed, 19 Oct 2005 21:52:41 +0200 | wenzelm | removed obsolete axclass_tac, add_inst_subclass_x, add_inst_arity_x; | changeset | files |
| Wed, 19 Oct 2005 21:52:40 +0200 | wenzelm | removed obsolete Thy/thy_parse.ML, Thy/thy_scan.ML, Thy/thy_syn.ML; | changeset | files |
| Wed, 19 Oct 2005 21:52:38 +0200 | wenzelm | removed obsolete old-style syntax; | changeset | files |
| 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 |