| 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 |
| Wed, 26 Mar 2008 22:40:02 +0100 | wenzelm | pass imp_elim (instead of mp) and swap explicitly -- avoids store_thm; | changeset | files |
| Wed, 26 Mar 2008 22:40:01 +0100 | wenzelm | pass imp_elim, swap to classical prover; | changeset | files |
| Wed, 26 Mar 2008 22:39:58 +0100 | wenzelm | updated generated file; | changeset | files |
| Wed, 26 Mar 2008 22:39:57 +0100 | wenzelm | renamed ML_Context.>> to Context.>> (again); | changeset | files |
| Wed, 26 Mar 2008 22:38:55 +0100 | wenzelm | converted legacy ML scripts; | changeset | files |
| Wed, 26 Mar 2008 22:38:17 +0100 | huffman | rename class bifinite_cpo to profinite; generalize powerdomains from bifinite to profinite | changeset | files |