src/ZF/Induct/Comb.thy
changeset 25456 6f79698f294d
parent 24894 163c82d039cf
child 32960 69916a850301
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d