src/Pure/proofterm.ML
changeset 29605 f2924219125e
parent 29270 0eade173f77e
child 29635 31d14e9fa0da