src/Pure/proofterm.ML
changeset 12284 131e743d168a
parent 12279 dc3020e938e2
child 12293 ce14a4faeded