src/Pure/consts.ML
changeset 37251 72c7e636067b
parent 37146 f652333bbf8e
child 40722 441260986b63