src/ZF/Inductive_ZF.thy
changeset 41615 f70d2cb26acf
parent 38514 bd9c4e8281ec
child 46821 ff6b0c1087f2
equal deleted inserted replaced
41614:b7cd80330a16 41615:f70d2cb26acf