| 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 |
| Fri, 17 Jun 2005 18:33:24 +0200 | wenzelm | added serial numbers; | changeset | files |
| Fri, 17 Jun 2005 18:33:23 +0200 | wenzelm | removed obsolete pretty printers for Theory.theory, Sign.sg; | changeset | files |
| Fri, 17 Jun 2005 18:33:22 +0200 | wenzelm | removed pretty_theory, pprint_theory (see context.ML or thy_info.ML); | changeset | files |
| Fri, 17 Jun 2005 18:33:21 +0200 | wenzelm | added type theory: generic theory contexts with unique identity, | changeset | files |