changeset 38381 | 7d1e2a6831ec |
parent 38379 | 67d71449e85b |
child 38382 | 8b02c5bf1d0e |
--- a/src/Pure/Isar/class.ML Wed Aug 11 17:16:02 2010 +0200 +++ b/src/Pure/Isar/class.ML Wed Aug 11 17:19:27 2010 +0200 @@ -597,7 +597,6 @@ declaration = K Generic_Target.theory_declaration, syntax_declaration = K Generic_Target.theory_declaration, pretty = single o pretty_instantiation, - reinit = instantiation arities o ProofContext.theory_of, exit = Local_Theory.target_of o conclude_instantiation}; fun instantiation_cmd arities thy =