| 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 |