src/Provers/classical.ML
changeset 1868 836950047d85
parent 1814 89f8d4a88cca
child 1927 6f97cb16e453