src/Pure/Isar/auto_bind.ML
changeset 25456 6f79698f294d
parent 21448 09c953c07008
child 26686 9f3f5429bac6
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d