src/HOL/ex/PER.thy
Fri, 12 Oct 2012 18:58:20 +0200 wenzelm discontinued obsolete typedef (open) syntax;
Wed, 30 Nov 2011 16:27:10 +0100 wenzelm prefer typedef without extra definition and alternative name;
Tue, 23 Feb 2010 10:11:12 +0100 haftmann dropped axclass
Thu, 16 Oct 2008 22:44:25 +0200 wenzelm avoid accidental dependency of automated proof on sort equiv;
Wed, 13 Jun 2007 18:30:11 +0200 wenzelm tuned proofs: avoid implicit prems;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sun, 01 Oct 2006 18:29:30 +0200 wenzelm tuned proofs;
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Sat, 01 Dec 2001 18:52:32 +0100 wenzelm renamed class "term" to "type" (actually "HOL.type");
Mon, 30 Oct 2000 18:21:45 +0100 wenzelm Partial equivalence relations (leftover from HOL/Quot);
less more (0) tip