| Wed, 06 Apr 2011 23:04:00 +0200 | wenzelm | separate structure Term_Position; | changeset | files |
| 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 |