Fri, 17 Jun 1994 17:49:03 +0200 | lcp | atomize: borrowed HOL version, which checks for both Trueprop | changeset | files |
Fri, 17 Jun 1994 17:47:42 +0200 | lcp | problem 38 is provable | changeset | files |
Fri, 17 Jun 1994 16:51:37 +0200 | nipkow | ordered rewriting applies to conditional rules as well now | changeset | files |