src/Pure/display.ML
changeset 50652 ead5714cc480
parent 50301 56b4c9afd7be
child 51509 22fd3605c7a2
equal deleted inserted replaced
50651:1fe68f1c3069 50652:ead5714cc480