Tue, 17 Oct 2006 09:51:04 +0200 | berghofe | Restructured and repaired code dealing with case names | changeset | files |
Tue, 17 Oct 2006 02:40:21 +0200 | kleing | macbroy6 still has non-standard setup | changeset | files |
Mon, 16 Oct 2006 14:07:31 +0200 | haftmann | moved HOL code generator setup to Code_Generator | changeset | files |