| Sun, 22 May 2005 16:51:08 +0200 | wenzelm | major tuning; | changeset | files |
| Sun, 22 May 2005 16:51:07 +0200 | wenzelm | Simplifier already setup in Pure; | changeset | files |
| Sun, 22 May 2005 16:51:06 +0200 | wenzelm | tuned antiquotations; | changeset | files |
| Sun, 22 May 2005 16:51:05 +0200 | wenzelm | tuned thms_containing; | changeset | files |
| Sun, 22 May 2005 16:51:04 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 22 May 2005 16:51:04 +0200 | wenzelm | moved to Pure; | changeset | files |
| Sun, 22 May 2005 16:51:03 +0200 | wenzelm | moved here from Provers; | changeset | files |
| Sun, 22 May 2005 16:51:02 +0200 | wenzelm | removed find_rewrites (superceded by improved thms_containing); | changeset | files |
| Fri, 20 May 2005 18:35:10 +0200 | paulson | bug fixes for clause form transformation | changeset | files |
| Fri, 20 May 2005 18:34:14 +0200 | paulson | converted some problems to Isar format | changeset | files |
| Thu, 19 May 2005 18:07:05 +0200 | nipkow | subst again | changeset | files |
| Thu, 19 May 2005 11:08:15 +0200 | paulson | Skolemization of simprules and classical rules | changeset | files |