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 |