| Mon, 18 Dec 2006 08:21:33 +0100 | haftmann | now testing executable content of nearly all HOL | changeset | files |
| Mon, 18 Dec 2006 08:21:32 +0100 | haftmann | dropped debug cmd | changeset | files |
| Mon, 18 Dec 2006 08:21:31 +0100 | haftmann | explicit nonfix declaration for ML "subset" | changeset | files |