src/Pure/display.ML
changeset 17271 2756a73f63a5
parent 16937 0822bbdd6769
child 17447 3a23acfdf5ba