| Fri, 17 Jun 2005 18:33:39 +0200 | wenzelm | removed obsolete theory_of_sign, theory_of_thm; | changeset | files |
| Fri, 17 Jun 2005 18:33:38 +0200 | wenzelm | PolyML.Compiler.printInAlphabeticalOrder := false; | changeset | files |
| Fri, 17 Jun 2005 18:33:37 +0200 | wenzelm | Context.DATA_FAIL; | changeset | files |
| Fri, 17 Jun 2005 18:33:36 +0200 | wenzelm | Context.PureN; | changeset | files |
| Fri, 17 Jun 2005 18:33:35 +0200 | wenzelm | RuleCases.tactic; | changeset | files |
| Fri, 17 Jun 2005 18:33:34 +0200 | wenzelm | accomodate change of TheoryDataFun; | changeset | files |
| Fri, 17 Jun 2005 18:33:33 +0200 | wenzelm | (RAW_)METHOD_CASES: RuleCases.tactic; | changeset | files |
| Fri, 17 Jun 2005 18:33:32 +0200 | wenzelm | Theory.add_typedecls; | changeset | files |
| Fri, 17 Jun 2005 18:33:31 +0200 | wenzelm | added map', fold; | changeset | files |
| Fri, 17 Jun 2005 18:33:30 +0200 | wenzelm | Table.fold; | changeset | files |
| Fri, 17 Jun 2005 18:33:29 +0200 | wenzelm | Symtab.fold; | changeset | files |
| Fri, 17 Jun 2005 18:33:28 +0200 | wenzelm | type theory, theory_ref, exception THEORY and related operations imported from Context; | changeset | files |
| Fri, 17 Jun 2005 18:33:27 +0200 | wenzelm | obsolete type sg is now an alias for Context.theory; | changeset | files |
| Fri, 17 Jun 2005 18:33:26 +0200 | wenzelm | added theorem_space; | changeset | files |
| Fri, 17 Jun 2005 18:33:25 +0200 | wenzelm | Context.theory_name; | changeset | files |