| Thu, 07 Sep 2000 21:12:49 +0200 | wenzelm | tuned ML code (the_context, bind_thms(s)); | file | diff | annotate |
| 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 |