src/HOL/ex/Binary.thy

--- a/src/HOL/ex/Binary.thy	Sun May 15 17:06:35 2011 +0200
+++ b/src/HOL/ex/Binary.thy	Sun May 15 17:45:53 2011 +0200
@@ -180,7 +180,7 @@
           @{simproc binary_nat_diff},
           @{simproc binary_nat_div},
           @{simproc binary_nat_mod}]))))
-*} "binary simplification"
+*}
 
 
 subsection {* Concrete syntax *}