Sun, 22 May 2005 16:51:13 +0200 wenzelm added find_theorems.ML, ../simplifier.ML;
Sun, 22 May 2005 16:51:12 +0200 wenzelm tuned terms_of_tpairs;
Sun, 22 May 2005 16:51:11 +0200 wenzelm added string_of_thmref, selections, fact_index_of, valid_thms;
Sun, 22 May 2005 16:51:10 +0200 wenzelm FindTheorems.print_theorems;
Sun, 22 May 2005 16:51:09 +0200 wenzelm findI/Es/E: adapted to FindTheorems.find_XXX, results use thmref instead of string;
Sun, 22 May 2005 16:51:08 +0200 wenzelm major tuning;
Sun, 22 May 2005 16:51:07 +0200 wenzelm Simplifier already setup in Pure;
Sun, 22 May 2005 16:51:06 +0200 wenzelm tuned antiquotations;
Sun, 22 May 2005 16:51:05 +0200 wenzelm tuned thms_containing;
Sun, 22 May 2005 16:51:04 +0200 wenzelm tuned;
Sun, 22 May 2005 16:51:04 +0200 wenzelm moved to Pure;
Sun, 22 May 2005 16:51:03 +0200 wenzelm moved here from Provers;
Sun, 22 May 2005 16:51:02 +0200 wenzelm removed find_rewrites (superceded by improved thms_containing);
Fri, 20 May 2005 18:35:10 +0200 paulson bug fixes for clause form transformation
Fri, 20 May 2005 18:34:14 +0200 paulson converted some problems to Isar format
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip