src/HOL/RelPow.thy
1997-03-06 pusch 1997-03-06 primrec definition for ^
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.