src/Pure/goal_display.ML
changeset 80698 2d2f476ab56e
parent 76083 8d6cb72aa511
child 82590 d08f5b5ead0a