| Tue, 06 Oct 2009 15:51:34 +0200 | haftmann | added syntactic Inf and Sup | file | diff | annotate |
| Thu, 24 Sep 2009 18:29:28 +0200 | haftmann | added dual for complete lattice | file | diff | annotate |
| Tue, 22 Sep 2009 15:36:55 +0200 | haftmann | be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer | file | diff | annotate |
| Fri, 18 Sep 2009 14:09:38 +0200 | haftmann | INTER and UNION are mere abbreviations for INFI and SUPR | file | diff | annotate |
| Wed, 16 Sep 2009 13:43:05 +0200 | haftmann | Inter and Union are mere abbreviations for Inf and Sup | file | diff | annotate |
| Fri, 28 Aug 2009 18:52:41 +0200 | nipkow | Turned "x <= y ==> sup x y = y" (and relatives) into simp rules | file | diff | annotate |
| Wed, 22 Jul 2009 18:02:10 +0200 | haftmann | moved complete_lattice &c. into separate theory | file | diff | annotate | base |