| Tue, 18 Oct 2005 17:59:23 +0200 | wenzelm | Simplifier.context/theory_context; | changeset | files |
| Tue, 18 Oct 2005 17:59:22 +0200 | wenzelm | updated; | changeset | files |
| Tue, 18 Oct 2005 15:08:38 +0200 | paulson | new interface to make_conjecture_clauses | changeset | files |