src/HOL/Lfp.ML
changeset 2056 93c093620c28
parent 1873 b07ee188f061
child 3842 b55686a7b22c