src/HOL/Gfp.ML
changeset 13049 ce180e5b7fa0
parent 11335 c150861633da
child 14169 0590de71a016