src/HOL/RelPow.thy
1996-06-25 berghofe 1996-06-25 Changed argument order of nat_rec.
1996-02-15 nipkow 1996-02-15 Added a few thms and the new theory RelPow.