src/Pure/Isar/auto_bind.ML
changeset 8681 957a5fe9b212
parent 8612 e8ef58d6d6eb
child 8807 0046be1769f9