src/Pure/consts.ML
changeset 21286 b5e7b80caa6a
parent 21205 dfe338ec9f9c
child 21680 5d2230ad1261