| Thu, 11 Oct 2007 16:38:42 +0200 | wenzelm | replaced Sign.add_consts_i by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 16:05:56 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 16:05:53 +0200 | wenzelm | renamed Syntax.XXX_mode to Syntax.mode_XXX; | changeset | files |
| Thu, 11 Oct 2007 16:05:47 +0200 | wenzelm | removed obsolete AxClass.params_of_class; | changeset | files |
| Thu, 11 Oct 2007 16:05:44 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 16:05:41 +0200 | wenzelm | load axclass.ML before Isar; | changeset | files |
| Thu, 11 Oct 2007 16:05:39 +0200 | wenzelm | added specify_const; | changeset | files |