src/Provers/trancl.ML
changeset 51085 d90218288d51
parent 46695 b779c3f21f05
child 58839 ccda99401bc8