| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sat, 10 Sep 2011 10:29:24 +0200 | haftmann | renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc. | file | diff | annotate |
| Wed, 08 Dec 2010 15:05:46 +0100 | haftmann | bot comes before top, inf before sup etc. | file | diff | annotate |
| Wed, 08 Dec 2010 14:52:23 +0100 | haftmann | nice syntax for lattice INFI, SUPR; | file | diff | annotate |
| Sun, 14 Mar 2010 14:29:30 +0100 | wenzelm | expose formal text; | file | diff | annotate |
| Wed, 22 Jul 2009 18:02:10 +0200 | haftmann | moved complete_lattice &c. into separate theory | file | diff | annotate |
| Sun, 08 Mar 2009 15:25:29 +0100 | haftmann | added top and bot syntax | file | diff | annotate |
| Sat, 07 Mar 2009 10:06:12 +0100 | haftmann | suppress document output | file | diff | annotate |
| Fri, 06 Mar 2009 20:30:19 +0100 | haftmann | theory with syntax for lattice operations | file | diff | annotate |