src/Pure/goal.ML
changeset 26413 003dd6155870
parent 25301 24e027f55f45
child 26628 63306cb94313