| Thu, 06 Dec 2007 12:58:01 +0100 | krauss | load sum_tree.ML | changeset | files |
| Thu, 06 Dec 2007 12:23:52 +0100 | krauss | factored out handling of sum types again | changeset | files |
| Thu, 06 Dec 2007 00:21:34 +0100 | wenzelm | added test_markup; | changeset | files |
| Thu, 06 Dec 2007 00:21:32 +0100 | wenzelm | moved basic test_markup to isabelle_process.ML; | changeset | files |