src/Pure/goal_display.ML
changeset 57743 0af2d5dfb0ac
parent 56493 1f660d858a75
child 60924 610794dff23c
equal deleted inserted replaced
57742:1977a884fef7 57743:0af2d5dfb0ac