src/Pure/assumption.ML
changeset 66787 64b47495676d
parent 59150 71b416020f42
child 67721 5348bea4accd