src/Provers/trancl.ML
changeset 62337 d3996d5873dd
parent 60785 c6f96559e032
child 67379 c2dfc510a38c