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