src/Pure/subgoal.ML
changeset 50499 f496b2b7bafb
parent 49845 9b19c0e81166
child 52223 5bb6ae8acb87