src/Pure/Isar/session.ML
changeset 17184 3d80209e9a53
parent 17074 f6284547701b
child 17207 19aa5ad633a7