src/ZF/Induct/Acc.thy
changeset 25456 6f79698f294d
parent 18414 560f89584ada
child 35762 af3ff2ba4c54
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d