src/Pure/consts.ML
changeset 46962 5bdcdb28be83
parent 45666 d83797ef0d2d
child 47005 421760a1efe7