src/Pure/display.ML
changeset 12284 131e743d168a
parent 12081 f9735aad76dc
child 12418 753054ec8e88