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