| Thu, 27 Mar 2008 14:41:09 +0100 | wenzelm | eliminated theory ProtoPure; | changeset | files |
| Thu, 27 Mar 2008 14:41:07 +0100 | wenzelm | removed Display.raw_string_of_XXX (use regular Sign.string_of_XXX); | changeset | files |
| Thu, 27 Mar 2008 14:41:06 +0100 | wenzelm | HOL (and FOL): renamed variables in rules imp_elim and swap; | changeset | files |
| Thu, 27 Mar 2008 12:06:26 +0100 | wenzelm | nonfix >>; | changeset | files |
| Thu, 27 Mar 2008 00:27:16 +0100 | huffman | make preorder locale into a superclass of class po | changeset | files |
| Wed, 26 Mar 2008 22:41:58 +0100 | wenzelm | removed obsolete Thy/thm_database.ML (cf. ML/ml_context.ML); | changeset | files |
| Wed, 26 Mar 2008 22:40:10 +0100 | wenzelm | removed legacy ML bindings; | changeset | files |