Fri, 16 Mar 2007 21:32:08 +0100 | haftmann | adjusted to new lattice theory developement in Lattices.thy / FixedPoint.thy | changeset | files |
Fri, 16 Mar 2007 21:32:07 +0100 | haftmann | added FIXME hints | changeset | files |
Fri, 16 Mar 2007 21:32:06 +0100 | haftmann | lattice cleanup | changeset | files |