src/Provers/trancl.ML
changeset 60299 5ae2a2e74c93
parent 59621 291934bac95e
child 60785 c6f96559e032