src/Pure/assumption.ML
changeset 72688 8cb82e7f1743
parent 71177 71467e35fc3c