src/ZF/Inductive_ZF.thy
changeset 41368 8afa26855137
parent 38514 bd9c4e8281ec
child 46821 ff6b0c1087f2
equal deleted inserted replaced
41367:1b65137d598c 41368:8afa26855137