src/HOL/RelPow.ML
Wed, 06 Mar 1996 12:52:11 +0100 paulson Ran expandshort
Mon, 19 Feb 1996 18:04:41 +0100 nipkow Introduced normalize_thm into HOL.ML
Thu, 15 Feb 1996 08:10:36 +0100 nipkow Added a few thms and the new theory RelPow.
less more (0) tip