src/Pure/old_goals.ML
changeset 33037 b22e44496dc2
parent 32966 5b21661fe618
child 33040 cffdb7b28498