src/Pure/goal_display.ML
changeset 32843 c8f5a7c8353f
parent 32738 15bb09ca0378
child 32966 5b21661fe618