| Mon, 03 Jul 2006 19:33:07 +0200 | wenzelm | project_algebra: norm_sort; | changeset | files |
| 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 |
| Mon, 03 Jul 2006 16:25:10 +0200 | webertj | comment added | changeset | files |
| Sun, 02 Jul 2006 17:27:10 +0200 | urbanc | added more infrastructure for the recursion combinator | changeset | files |