1.1 --- a/src/HOL/Library/Reflection.thy	Sun May 15 17:06:35 2011 +0200
     1.2 +++ b/src/HOL/Library/Reflection.thy	Sun May 15 17:45:53 2011 +0200
     1.3 @@ -41,6 +41,6 @@
     1.4        val raw_eqs = eqs@ceqs
     1.5      in SIMPLE_METHOD' (Reflection.reflection_tac ctxt corr_thms raw_eqs to) end)
     1.6  end
     1.7 -*} "reflection"
     1.8 +*}
     1.9  
    1.10  end