src/Pure/Isar/class_declaration.ML
changeset 45107 76fef3e57004
parent 42494 eef1a23c9077
child 45421 2bef6da4a6a6