src/HOL/Library/Continuity.thy
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