src/Provers/quantifier1.ML
changeset 5633 fb7fa1b154c4
parent 4319 afb60b8bf15e
child 7951 b36913c35699
equal deleted inserted replaced
5632:5682dce02591 5633:fb7fa1b154c4