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 |