Sun, 22 May 2005 16:51:10 +0200 | wenzelm | FindTheorems.print_theorems; | changeset | files |
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 |