src/Provers/classical.ML
changeset 38980 af73cf0dc31f
parent 36960 01594f816e3a
child 41581 72a02e3dec7e