| Mon, 03 Jul 2006 17:24:45 +0200 | dixon | fix to subst in order to allow subst when head of a term is a bound variable. | changeset | files |
| Mon, 03 Jul 2006 17:17:41 +0200 | webertj | CNF tactic invocations moved into comments | changeset | files |
| Mon, 03 Jul 2006 16:25:10 +0200 | webertj | comment added | changeset | files |