| Sun, 22 May 2005 16:51:09 +0200 | wenzelm | findI/Es/E: adapted to FindTheorems.find_XXX, results use thmref instead of string; | changeset | files |
| 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 |