src/Pure/goal.ML
changeset 25456 6f79698f294d
parent 25301 24e027f55f45
child 26628 63306cb94313