src/Pure/Isar/proof_context.ML
changeset 78659 b5f3d1051b13
parent 78086 5edd5b12017d
child 79342 13eb65caaffb