src/HOL/Relation_Power.thy
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 ***