src/Pure/proofterm.ML
changeset 11767 7380c9d45626
parent 11715 592923615f77
child 11999 43b4385445bf