src/Pure/assumption.ML
changeset 58884 be4d203d35b3
parent 54984 da70ab8531f4
child 59150 71b416020f42
equal deleted inserted replaced
58883:fef1df4268d6 58884:be4d203d35b3