src/HOL/Gfp.thy
changeset 4537 4e835bd9fada
parent 3947 eb707467f8c5
child 8882 9df44a4f1bf7