| Thu, 18 Aug 2005 11:17:43 +0200 | wenzelm | moved translation functions to Pure/sign.ML; | changeset | files |
| Thu, 18 Aug 2005 11:17:42 +0200 | wenzelm | various Toplevel.theory_context commands: proper presentation in context; | changeset | files |
| Thu, 18 Aug 2005 11:17:41 +0200 | wenzelm | use theory instead of obsolete Sign.sg; | changeset | files |
| Thu, 18 Aug 2005 11:17:40 +0200 | wenzelm | added map_specs/facts operators (from locale.ML); | changeset | files |
| Thu, 18 Aug 2005 11:17:39 +0200 | wenzelm | removed obsolete Theory.sign_of; | changeset | files |
| Thu, 18 Aug 2005 11:17:38 +0200 | wenzelm | load method.ML before proof.ML; | changeset | files |