src/HOL/FixedPoint.thy
2005-09-22 nipkow 2005-09-22 renamed rules to iprover
2005-08-03 avigad 2005-08-03 combined Lfp and Gfp to FixedPoint