src/Provers/trancl.ML
changeset 25456 6f79698f294d
parent 22257 159bfab776e2
child 26834 87a5b9ec3863