src/Pure/consts.ML
changeset 24233 5bec1b4149e7
parent 23655 d2d1138e0ddc
child 24673 62b75508eb66
equal deleted inserted replaced
24232:a70360a54e5c 24233:5bec1b4149e7