| Wed, 06 Apr 2011 22:25:44 +0200 | wenzelm | type syntax as regular mixfix specification (type_ext for bootstrapping has been obsolete for many years); | changeset | files |
| Wed, 06 Apr 2011 21:55:41 +0200 | wenzelm | moved type syntax translations to syn_trans.ML; | changeset | files |
| Wed, 06 Apr 2011 18:36:28 +0200 | wenzelm | made SML/NJ happy (cf. 578a51fae383); | changeset | files |
| Wed, 06 Apr 2011 18:17:19 +0200 | wenzelm | merged | changeset | files |
| Wed, 06 Apr 2011 13:08:44 +0200 | bulwahn | merged | changeset | files |
| Wed, 06 Apr 2011 10:58:18 +0200 | bulwahn | changing ensure_sort_datatype call in narrowing quickcheck (missed in 1491b7209e76) | changeset | files |