src/HOL/Equiv_Relations.thy
Fri, 03 Dec 2010 20:38:58 +0100 wenzelm recoded latin1 as utf8;
Mon, 29 Nov 2010 22:41:17 +0100 haftmann replaced slightly odd locale congruent2 by plain definition
Mon, 29 Nov 2010 22:32:06 +0100 haftmann replaced slightly odd locale congruent by plain definition
Mon, 29 Nov 2010 13:44:54 +0100 haftmann equivI has replaced equiv.intro
Mon, 29 Nov 2010 12:14:43 +0100 haftmann moved generic definitions about (partial) equivalence relations from Quotient to Equiv_Relations;
Mon, 12 Jul 2010 10:48:37 +0200 haftmann dropped superfluous [code del]s
Thu, 11 Mar 2010 14:39:58 +0100 haftmann Big_Operators now in Main rather than Plain src/HOL/Wellfounded.thy
Thu, 18 Feb 2010 14:21:44 -0800 huffman get rid of many duplicate simp rule warnings
Mon, 02 Mar 2009 16:53:55 +0100 nipkow name changes
Wed, 28 Jan 2009 11:03:42 +0100 haftmann Plain, Main form meeting points in import hierarchy
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Tue, 16 Sep 2008 09:21:26 +0200 haftmann dropped superfluous code lemmas
Wed, 07 May 2008 10:56:33 +0200 berghofe Instantiated subst rule to avoid problems with HO unification.
Wed, 28 Nov 2007 09:01:37 +0100 haftmann dropped implicit assumption proof
Wed, 26 Sep 2007 20:27:55 +0200 haftmann moved Finite_Set before Datatype
Tue, 10 Jul 2007 17:30:43 +0200 haftmann moved finite lemmas to Finite_Set.thy
Sun, 10 Dec 2006 15:30:49 +0100 wenzelm respects2: tuned spacing;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Mon, 03 Jul 2006 20:02:42 +0200 nipkow replaced translation by abbreviation
Sat, 08 Apr 2006 22:51:06 +0200 wenzelm refined 'abbreviation';
Thu, 23 Mar 2006 20:03:53 +0100 nipkow Converted translations to abbbreviations.
Thu, 22 Dec 2005 17:57:09 +0100 nipkow more lemmas
Thu, 22 Dec 2005 13:00:53 +0100 nipkow new lemmas
Thu, 22 Sep 2005 23:56:15 +0200 nipkow renamed rules to iprover
Mon, 21 Feb 2005 15:04:10 +0100 nipkow comprehensive cleanup, replacing sumr by setsum
Thu, 09 Dec 2004 18:30:59 +0100 nipkow First step in reorganizing Finite_Set
Sun, 21 Nov 2004 15:44:20 +0100 nipkow added lemmas
Sun, 21 Nov 2004 12:52:03 +0100 nipkow Restructured List and added "rotate"
Fri, 19 Nov 2004 17:31:49 +0100 paulson moved and renamed Integ/Equiv.thy
less more (0) tip