| Mon, 03 Jul 2006 17:27:09 +0200 | webertj | comments fixed, minor optimization wrt. certifying terms | changeset | files |
| 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 |