src/HOL/LOrder.thy
Fri, 09 Mar 2007 08:45:50 +0100 haftmann stepping towards uniform lattice theory development in HOL
Sun, 10 Dec 2006 13:14:43 +0100 nipkow renaming
Sun, 10 Dec 2006 07:12:26 +0100 nipkow Modified lattice locale
Wed, 15 Nov 2006 17:05:39 +0100 haftmann added interpretation
Sun, 12 Nov 2006 19:22:10 +0100 nipkow started reorgnization of lattice theories
Wed, 08 Nov 2006 19:48:34 +0100 haftmann renamed Lattice_Locales to Lattices
Tue, 07 Nov 2006 14:02:08 +0100 haftmann changed import order
Tue, 20 Sep 2005 14:03:37 +0200 wenzelm tuned theory dependencies;
Thu, 10 Feb 2005 18:51:12 +0100 nipkow Moved oderings from HOL into the new Orderings.thy
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Tue, 29 Jun 2004 11:18:34 +0200 kleing license change to BSD
Tue, 11 May 2004 20:11:08 +0200 obua changes made due to new Ring_and_Field theory
less more (0) tip