src/ZF/Induct/ROOT.ML
changeset 25456 6f79698f294d
parent 23912 039ae566a4a2
child 35762 af3ff2ba4c54