src/HOL/RelPow.thy
1998-10-30 paulson 1998-10-30 Moved "instance set:...{power} from Set.thy to RelPow.thy, where is is needed
1998-10-02 nipkow 1998-10-02 id <-> Id
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1997-05-30 paulson 1997-05-30 Overloading of "^" requires new type class "power", with types "nat" and "set" in that class. The operator itself is declared in Nat.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.