src/HOL/RelPow.ML
1996-03-06 ago Ran expandshort
1996-02-19 ago Introduced normalize_thm into HOL.ML
1996-02-15 ago Added a few thms and the new theory RelPow.