| 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 |
| Fri, 20 May 2005 18:35:10 +0200 | paulson | bug fixes for clause form transformation | changeset | files |
| Fri, 20 May 2005 18:34:14 +0200 | paulson | converted some problems to Isar format | changeset | files |
| Thu, 19 May 2005 18:07:05 +0200 | nipkow | subst again | changeset | files |
| Thu, 19 May 2005 11:08:15 +0200 | paulson | Skolemization of simprules and classical rules | changeset | files |
| Thu, 19 May 2005 02:33:40 +0200 | huffman | pcpo instance for type unit | changeset | files |