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 |