src/Pure/Proof/extraction.ML
changeset 19979 a0846edbe8b0
parent 19482 9f11af8f7ef9
child 20548 8ef25fe585a8
equal deleted inserted replaced
19978:df19a7876183 19979:a0846edbe8b0