src/Pure/thm.ML
changeset 29605 f2924219125e
parent 29436 dc6b19966757
child 29636 d01bada1df33