src/Pure/term.ML
changeset 24233 5bec1b4149e7
parent 23178 07ba6b58b3d2
child 24483 0b1a8fd26da9
equal deleted inserted replaced
24232:a70360a54e5c 24233:5bec1b4149e7