changeset 56723 | a8f71445c265 |
parent 56334 | 6b3739fee456 |
child 57067 | b3571d1a3e45 |
--- a/src/Pure/Isar/class.ML Fri Apr 25 17:54:54 2014 +0200 +++ b/src/Pure/Isar/class.ML Fri Apr 25 21:45:04 2014 +0200 @@ -585,6 +585,7 @@ notes = Generic_Target.notes Generic_Target.theory_notes, abbrev = Generic_Target.abbrev Generic_Target.theory_abbrev, declaration = K Generic_Target.theory_declaration, + subscription = Generic_Target.theory_registration, pretty = pretty, exit = conclude #> Local_Theory.target_of #> Sign.change_end_local} end;