| Sat, 26 Jan 2008 22:14:07 +0100 | wenzelm | syntax error: reduced spam -- print expected nonterminals instead of terminals; | changeset | files |
| Sat, 26 Jan 2008 20:01:37 +0100 | wenzelm | avoid redundant escaping of Isabelle symbols; | changeset | files |
| Sat, 26 Jan 2008 17:08:43 +0100 | wenzelm | grouped versions of axioms/define/notes; | changeset | files |
| Sat, 26 Jan 2008 17:08:42 +0100 | wenzelm | misc tuning and internal rearrangement; | changeset | files |