| Tue, 21 Nov 2006 18:07:29 +0100 | wenzelm | LocalTheory.axioms/notes/defs: proper kind; | changeset | files |
| Tue, 21 Nov 2006 12:55:39 +0100 | paulson | Optimized class_pairs for the common case of no subclasses | changeset | files |
| Tue, 21 Nov 2006 12:51:20 +0100 | paulson | Outputs a minimal number of arity clauses. Tidying of blacklist, fixing the blacklisting of thm lists | changeset | files |
| Tue, 21 Nov 2006 12:50:15 +0100 | paulson | New transformation of eliminatino rules: we simply replace the final conclusion variable by False | changeset | files |
| Tue, 21 Nov 2006 04:30:17 +0100 | kleing | run poly-4.9.1 as stable and poly-4.2.0 as experimental on at | changeset | files |
| Tue, 21 Nov 2006 00:07:05 +0100 | wenzelm | removed legacy ML setup; | changeset | files |