src/ZF/ex/Comb.thy
changeset 5484 e9430ed7e8d6
parent 1702 4aa538e82f76
child 11316 b4e71bd751e4