| Fri, 19 Jan 2007 22:08:24 +0100 | wenzelm | removed obsolete Attribute; | changeset | files |
| Fri, 19 Jan 2007 22:08:23 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 19 Jan 2007 22:08:22 +0100 | wenzelm | renamed Isar/isar_output.ML to Thy/thy_output.ML; | changeset | files |
| Fri, 19 Jan 2007 22:08:21 +0100 | wenzelm | tuned signature of extend_lexicon; | changeset | files |
| Fri, 19 Jan 2007 22:08:20 +0100 | wenzelm | moved ML translation interfaces to isar_cmd.ML; | changeset | files |
| Fri, 19 Jan 2007 22:08:19 +0100 | wenzelm | moved thm/thms to ml_context.ML; | changeset | files |
| Fri, 19 Jan 2007 22:08:18 +0100 | wenzelm | moved inst from drule.ML to old_goals.ML; | changeset | files |