src/HOL/Library/Continuity.thy
Thu, 16 Feb 2012 22:53:56 +0100 wenzelm tuned imports;
Wed, 14 Sep 2011 10:08:52 -0400 hoelzl renamed Complete_Lattices lemmas, removed legacy names
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Mon, 31 Aug 2009 14:09:42 +0200 nipkow tuned the simp rules for Int involving insert and intervals.
Fri, 24 Apr 2009 17:45:15 +0200 haftmann funpow and relpow with shared "^^" syntax
Mon, 20 Apr 2009 09:32:07 +0200 haftmann power operation on functions with syntax o^; power operation on relations with syntax ^^
Fri, 17 Apr 2009 16:41:30 +0200 haftmann power operation on relations now with syntax ^^
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Tue, 18 Dec 2007 14:37:00 +0100 haftmann switched from PreList to ATP_Linkup
Mon, 10 Dec 2007 11:24:09 +0100 haftmann switched import from Main to PreList
Thu, 18 Oct 2007 09:20:55 +0200 haftmann localized mono predicate
Sun, 19 Aug 2007 21:21:37 +0200 nipkow Made UN_Un simp
Wed, 11 Jul 2007 11:25:21 +0200 berghofe bot is now a constant.
Fri, 16 Mar 2007 21:32:08 +0100 haftmann adjusted to new lattice theory developement in Lattices.thy / FixedPoint.thy
Sat, 10 Mar 2007 16:24:52 +0100 berghofe Adapted to changes in definition of SUP.
Fri, 09 Mar 2007 08:45:50 +0100 haftmann stepping towards uniform lattice theory development in HOL
Tue, 27 Feb 2007 00:33:49 +0100 wenzelm tuned document;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sun, 12 Nov 2006 19:22:10 +0100 nipkow started reorgnization of lattice theories
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Mon, 06 Aug 2001 12:42:43 +0200 paulson removed an unsuitable default simprule
Thu, 31 May 2001 20:52:51 +0200 wenzelm tuned
Thu, 31 May 2001 17:06:00 +0200 oheimb added Library/Nat_Infinity.thy and Library/Continuity.thy
less more (0) tip