| Sun, 22 May 2005 16:51:15 +0200 | wenzelm | added 'print_simpset'; | changeset | files |
| Sun, 22 May 2005 16:51:14 +0200 | wenzelm | added print_simpset; | changeset | files |
| Sun, 22 May 2005 16:51:13 +0200 | wenzelm | added find_theorems.ML, ../simplifier.ML; | changeset | files |
| Sun, 22 May 2005 16:51:12 +0200 | wenzelm | tuned terms_of_tpairs; | changeset | files |
| Sun, 22 May 2005 16:51:11 +0200 | wenzelm | added string_of_thmref, selections, fact_index_of, valid_thms; | changeset | files |
| 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 |