src/Pure/goal.ML
changeset 25456 6f79698f294d
parent 25301 24e027f55f45
child 26628 63306cb94313
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d