| 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 |