src/FOL/ex/ROOT.ML
changeset 863 67692db44c70
parent 667 661fc2e9c945
child 1296 ae31bb7774a7