src/Pure/theory.ML
changeset 62804 7b9c5416f30e
parent 61949 d9acd750c1f6
child 63038 1fbad761c1ba
equal deleted inserted replaced
62803:5f73bf6ba98b 62804:7b9c5416f30e