| 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 |