src/HOL/FixedPoint.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-13 haftmann 2006-11-13 added LOrder dependency
2006-11-12 nipkow 2006-11-12 image_constant_conv no longer [simp]
2006-11-12 nipkow 2006-11-12 started reorgnization of lattice theories
2006-10-13 berghofe 2006-10-13 Generalized gfp and lfp to arbitrary complete lattices.
2005-09-22 nipkow 2005-09-22 renamed rules to iprover
2005-08-03 avigad 2005-08-03 combined Lfp and Gfp to FixedPoint