src/HOL/Relation_Power.thy
2008-02-15 haftmann 2008-02-15 <= and < on nat no longer depend on wellfounded relations
2008-01-08 haftmann 2008-01-08 refined overloading target
2007-11-05 kleing 2007-11-05 tranclD2 (tranclD at the other end) + trancl_power
2007-10-12 haftmann 2007-10-12 moved class power to theory Power
2007-08-17 haftmann 2007-08-17 explicit constants for overloaded definitions
2007-04-20 haftmann 2007-04-20 tuned
2006-11-18 haftmann 2006-11-18 workaround for definition violating type discipline
2006-09-11 wenzelm 2006-09-11 induct method: renamed 'fixing' to 'arbitrary';
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 ***