| Thu, 11 Oct 2007 16:05:35 +0200 | wenzelm | moved define_class_params to Isar/class.ML; | changeset | files |
| Thu, 11 Oct 2007 16:05:33 +0200 | wenzelm | load axclass.ML before Isar; | changeset | files |
| Thu, 11 Oct 2007 16:05:32 +0200 | wenzelm | Theory.specify_const; | changeset | files |
| Thu, 11 Oct 2007 16:05:30 +0200 | wenzelm | moved ProofContext.pp to Syntax.pp; | changeset | files |
| Thu, 11 Oct 2007 16:05:26 +0200 | wenzelm | renamed Syntax.XXX_mode to Syntax.mode_XXX; | changeset | files |
| Thu, 11 Oct 2007 16:05:23 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 15:59:31 +0200 | paulson | rationalized redundant code | changeset | files |
| Thu, 11 Oct 2007 15:57:29 +0200 | wenzelm | usage: HOL_USEDIR_OPTIONS; | changeset | files |