src/HOL/FixedPoint.thy
author haftmann
Mon Oct 08 22:03:25 2007 +0200 (2007-10-08)
changeset 24915 fc90277c0dd7
parent 24390 9b5073c79a0b
permissions -rw-r--r--
integrated FixedPoint into Inductive