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 |