Thu, 07 Sep 2000 17:36:37 +0200 | paulson | a number of new theorems | file | diff | annotate |
Wed, 06 Sep 2000 11:48:06 +0200 | paulson | tidied | file | diff | annotate |
Fri, 18 Aug 2000 12:34:13 +0200 | paulson | better rules for cancellation of common factors across comparisons | file | diff | annotate |
Mon, 07 Aug 2000 10:29:54 +0200 | paulson | instantiated Cancel_Numerals for "nat" in ZF | file | diff | annotate |