src/ZF/Induct/Tree_Forest.thy
changeset 25456 6f79698f294d
parent 18460 9a1458cb2956
child 26056 6a0801279f4c
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d