| Wed, 10 Jun 2009 11:29:57 +0200 | wenzelm | discontinued escaped symbols such as \\<forall> -- only one backslash should be used; | changeset | files |
| Wed, 10 Jun 2009 11:28:39 +0200 | wenzelm | updated generated files; | changeset | files |
| Wed, 10 Jun 2009 11:12:40 +0200 | wenzelm | allow Isabelle symbols within low-level ML source; | changeset | files |