src/Pure/Isar/subclass.ML
changeset 25456 6f79698f294d
parent 25289 3d332d8a827c
child 25620 a6cb8f60cff7
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d