src/Pure/proofterm.ML
changeset 50499 f496b2b7bafb
parent 50126 3dec88149176
child 50763 e33921360f06