| Thu, 27 Mar 2008 14:41:14 +0100 | wenzelm | eliminated theory ProtoPure; | changeset | files |
| Thu, 27 Mar 2008 14:41:13 +0100 | wenzelm | implicit setup of emerging theory Pure; | changeset | files |
| Thu, 27 Mar 2008 14:41:12 +0100 | wenzelm | reduced to theory body (cf. OuterSyntax.process_file); | changeset | files |