haftmann [Fri, 16 Mar 2007 21:32:15 +0100] rev 22459
added "class"es
haftmann [Fri, 16 Mar 2007 21:32:14 +0100] rev 22458
tuned
haftmann [Fri, 16 Mar 2007 21:32:13 +0100] rev 22457
dropped superfluous hide
haftmann [Fri, 16 Mar 2007 21:32:12 +0100] rev 22456
added lattice definitions
haftmann [Fri, 16 Mar 2007 21:32:11 +0100] rev 22455
added instance of sets as distributive lattices
haftmann [Fri, 16 Mar 2007 21:32:10 +0100] rev 22454
integrated with LOrder.thy
haftmann [Fri, 16 Mar 2007 21:32:09 +0100] rev 22453
moved lattice instance here
haftmann [Fri, 16 Mar 2007 21:32:08 +0100] rev 22452
adjusted to new lattice theory developement in Lattices.thy / FixedPoint.thy
haftmann [Fri, 16 Mar 2007 21:32:07 +0100] rev 22451
added FIXME hints
haftmann [Fri, 16 Mar 2007 21:32:06 +0100] rev 22450
lattice cleanup