src/Pure/goal.ML
changeset 29091 b81fe045e799
parent 29088 95a239a5e055
child 29122 b3bae49a013a