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