src/Provers/classical.ML
changeset 10618 5b96bc5fbec3
parent 10394 eef9e422929a
child 10736 7f94cb4517fa