src/ZF/qpair.ML
changeset 507 a00301e9e64b
parent 55 331d93292ee0
equal deleted inserted replaced
506:e0ca460d6e51 507:a00301e9e64b