src/HOL/Tools/Function/scnp_reconstruct.ML
changeset 34236 010a3206cbbe
parent 34228 bc0cea4cae52
child 35624 c4e29a0bb8c1
equal deleted inserted replaced
34235:43bf58fdbace 34236:010a3206cbbe