| 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 |
| Wed, 26 Mar 2008 22:40:09 +0100 | wenzelm | rule swap: renamed Pa to P; | changeset | files |
| Wed, 26 Mar 2008 22:40:08 +0100 | wenzelm | added store_thms etc. (formerly in Thy/thm_database.ML); | changeset | files |
| Wed, 26 Mar 2008 22:40:07 +0100 | wenzelm | adapted to Context.thread_data interface; | changeset | files |
| Wed, 26 Mar 2008 22:40:05 +0100 | wenzelm | moved bind_thm(s) to ML/ml_context.ML; | changeset | files |
| Wed, 26 Mar 2008 22:40:03 +0100 | wenzelm | added thread data (formerly global ref in ML/ml_context.ML); | changeset | files |