| Mon, 18 Dec 2006 08:21:38 +0100 | haftmann | added Thyname.* and * constant expressions | changeset | files |
| Mon, 18 Dec 2006 08:21:37 +0100 | haftmann | introduces "__" naming policy | changeset | files |
| Mon, 18 Dec 2006 08:21:35 +0100 | haftmann | switched argument order in *.syntax lifters | changeset | files |
| Mon, 18 Dec 2006 08:21:34 +0100 | haftmann | added gen_reflection_tac | changeset | files |
| 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 |