src/Pure/goals.ML
changeset 1868 836950047d85
parent 1628 60136fdd80c4
child 1928 3d1d73e3d185