| 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 |
| Mon, 16 Oct 2006 14:07:21 +0200 | haftmann | slight cleanup | changeset | files |
| Mon, 16 Oct 2006 14:07:20 +0200 | haftmann | fixed print translations for bounded quantification | changeset | files |
| Mon, 16 Oct 2006 14:07:19 +0200 | haftmann | added explicit print translation for nat_case | changeset | files |
| Mon, 16 Oct 2006 14:07:18 +0200 | haftmann | added isactrlconst | changeset | files |
| Mon, 16 Oct 2006 10:27:54 +0200 | ballarin | Order and lattice structures no longer based on records. | changeset | files |
| Sun, 15 Oct 2006 12:16:20 +0200 | isatest | add experimental macbroy6 (intel-darwin) | changeset | files |