src/Provers/quantifier1.ML
changeset 35625 9c818cab0dd0
parent 31197 c1c163ec6c44
child 35762 af3ff2ba4c54