| Mon, 07 Oct 1996 10:28:44 +0200 | paulson | Removed commands made redundant by new one-point rules | file | diff | annotate |
| Thu, 26 Sep 1996 12:47:47 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Thu, 23 May 1996 14:37:06 +0200 | berghofe | Replaced fast_tac by Fast_tac (which uses default claset) | file | diff | annotate |
| Sat, 27 Apr 1996 12:05:58 +0200 | nipkow | Added R^1 = R | file | diff | annotate |
| Wed, 06 Mar 1996 12:52:11 +0100 | paulson | Ran expandshort | file | diff | annotate |
| Mon, 19 Feb 1996 18:04:41 +0100 | nipkow | Introduced normalize_thm into HOL.ML | file | diff | annotate |
| Thu, 15 Feb 1996 08:10:36 +0100 | nipkow | Added a few thms and the new theory RelPow. | file | diff | annotate |