src/Provers/trancl.ML
changeset 69980 f2e3adfd916f
parent 67379 c2dfc510a38c