src/HOL/ex/PER.thy
2014-11-22 wenzelm 2014-11-22 misc tuning and modernization;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2011-11-30 wenzelm 2011-11-30 prefer typedef without extra definition and alternative name; tuned proofs;
2010-02-23 haftmann 2010-02-23 dropped axclass
2008-10-16 wenzelm 2008-10-16 avoid accidental dependency of automated proof on sort equiv;
2007-06-13 wenzelm 2007-06-13 tuned proofs: avoid implicit prems;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-10-01 wenzelm 2006-10-01 tuned proofs;
2006-05-27 wenzelm 2006-05-27 tuned;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2000-10-30 wenzelm 2000-10-30 Partial equivalence relations (leftover from HOL/Quot);