src/Provers/trancl.ML
changeset 51553 63327f679cff
parent 46695 b779c3f21f05
child 58839 ccda99401bc8