| Tue, 17 Nov 2009 14:51:57 +0100 | wenzelm | eliminated slightly odd name space grouping -- now managed by Isar toplevel; | changeset | files |
| Tue, 17 Nov 2009 14:51:32 +0100 | wenzelm | implicit name space grouping for theory/local_theory transactions; | changeset | files |
| Tue, 17 Nov 2009 14:50:55 +0100 | wenzelm | uniform new_group/reset_group; | changeset | files |
| Tue, 17 Nov 2009 14:48:21 +0100 | wenzelm | eliminated dead code; | changeset | files |