src/Pure/goal_display.ML
changeset 60749 f727b99faaf7
parent 56493 1f660d858a75
child 60924 610794dff23c