src/ZF/WF.thy
changeset 40706 fed0251b7939
parent 35762 af3ff2ba4c54
child 45602 2a858377c3d2