src/HOL/Relation_Power.thy
2005-12-13 wenzelm 2005-12-13 tuned proofs;
2005-10-31 nipkow 2005-10-31 A few new lemmas
2004-12-14 paulson 2004-12-14 converted Relation_Power to new-style theory
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-08-04 nipkow 2004-08-04 added a thm
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-05-18 nipkow 2001-05-18 added comments
2001-05-18 nipkow 2001-05-18 added ^ on functions.
2000-10-12 nipkow 2000-10-12 *** empty log message ***