| Thu, 22 May 2014 16:59:49 +0200 | haftmann | tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction | changeset | files |
| Thu, 22 May 2014 16:59:49 +0200 | haftmann | compactified | changeset | files |
| Thu, 22 May 2014 15:49:36 +0200 | wenzelm | include Nominal2 keywords -- Proof General legacy; | changeset | files |
| Thu, 22 May 2014 15:31:36 +0200 | wenzelm | another attempt to revive isatest -- reverting 801c01004a21; | changeset | files |