src/Pure/consts.ML
changeset 42230 594480d25aaa
parent 42083 e1209fc7ecdc
child 42290 b1f544c84040