| Mon, 04 Jul 2011 13:43:10 +0200 | wenzelm | imitate exception ERROR of Isabelle/ML; | changeset | files |
| Sun, 03 Jul 2011 19:53:35 +0200 | wenzelm | eliminated null; | changeset | files |
| Sun, 03 Jul 2011 19:42:32 +0200 | wenzelm | more explicit edit_node vs. init_node; | changeset | files |