dropped dead code
authorhaftmann
Tue Apr 23 19:40:33 2013 +0200 (2013-04-23)
changeset 51748789507cd689d
parent 51747 e4b5bebe5235
child 51749 c27bb7994bd3
dropped dead code
src/Pure/Isar/expression.ML
     1.1 --- a/src/Pure/Isar/expression.ML	Tue Apr 23 19:31:24 2013 +0200
     1.2 +++ b/src/Pure/Isar/expression.ML	Tue Apr 23 19:40:33 2013 +0200
     1.3 @@ -858,7 +858,6 @@
     1.4  val activate_proof = Context.proof_map ooo Locale.add_registration;
     1.5  val activate_local_theory = Local_Theory.target ooo activate_proof;
     1.6  val add_registration = Local_Theory.raw_theory o Context.theory_map ooo Locale.add_registration;
     1.7 -val add_registration_global = Proof_Context.background_theory o Context.theory_map ooo Locale.add_registration;
     1.8  fun add_dependency locale = Local_Theory.raw_theory ooo Locale.add_dependency locale;
     1.9  fun add_dependency_global locale = Proof_Context.background_theory ooo Locale.add_dependency locale;
    1.10