| Tue, 18 Oct 2005 17:59:25 +0200 | wenzelm | Simplifier.theory_context; | changeset | files |
| Tue, 18 Oct 2005 17:59:24 +0200 | wenzelm | tuned error msg; | changeset | files |
| 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 |
| Mon, 17 Oct 2005 23:10:25 +0200 | wenzelm | * Simplifier: simpset of a running simplification process contains a proof context; | changeset | files |
| Mon, 17 Oct 2005 23:10:24 +0200 | wenzelm | added type_solver (uses Simplifier.the_context); | changeset | files |