src/Pure/goal.ML
changeset 26572 9178a7f4c4c8
parent 25301 24e027f55f45
child 26628 63306cb94313