| 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 |
| Fri, 17 Jun 2005 18:33:20 +0200 | wenzelm | removed Pure/theory_data.ML; | changeset | files |
| Fri, 17 Jun 2005 18:33:19 +0200 | wenzelm | added Id; | changeset | files |
| Fri, 17 Jun 2005 18:33:18 +0200 | wenzelm | Theory.merge; | changeset | files |