src/Pure/subgoal.ML
changeset 45107 76fef3e57004
parent 42495 1af81b70cf09
child 49845 9b19c0e81166