src/Provers/quantifier1.ML
changeset 51553 63327f679cff
parent 42460 1805c67dc7aa
child 51717 9e7d1c139569
equal deleted inserted replaced
51552:c713c9505f68 51553:63327f679cff