| Thu, 27 Mar 2008 14:41:18 +0100 | wenzelm | eliminated theory ProtoPure; | changeset | files |
| Thu, 27 Mar 2008 14:41:17 +0100 | wenzelm | moved old the_context here; | changeset | files |
| 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 |
| Thu, 27 Mar 2008 14:41:10 +0100 | wenzelm | renamed ML_Context.the_context to ML_Context.the_global_context; | changeset | files |
| Thu, 27 Mar 2008 14:41:09 +0100 | wenzelm | eliminated theory ProtoPure; | changeset | files |