| Sat, 24 May 2008 22:04:52 +0200 | wenzelm | more uniform treatment of OuterSyntax.local_theory commands; | changeset | files |
| Sat, 24 May 2008 22:04:48 +0200 | wenzelm | updated generated file; | changeset | files |
| Sat, 24 May 2008 22:04:46 +0200 | wenzelm | invisible comment; | changeset | files |