src/Provers/trancl.ML
changeset 67003 49850a679c2c
parent 60785 c6f96559e032
child 67379 c2dfc510a38c