src/HOL/Lfp.thy
changeset 9451 5c25ed3c10a0
parent 8882 9df44a4f1bf7
child 10212 33fe2d701ddd