src/Pure/display.ML
changeset 33037 b22e44496dc2
parent 32784 1a5dde5079ac
child 33092 c859019d3ac5