src/Pure/subgoal.ML
changeset 31726 ffd2dc631d88
parent 30552 58db56278478
child 31794 71af1fd6a5e4