src/Pure/assumption.ML
changeset 72688 8cb82e7f1743
parent 71177 71467e35fc3c
equal deleted inserted replaced
72687:8e5428ff35af 72688:8cb82e7f1743