src/Pure/goal_display.ML
changeset 48646 91281e9472d8
parent 45666 d83797ef0d2d
child 49847 ed5080c03165