
diff -r 6d2effbbf8d4 -r ff9efdc84289 src/HOL/Word/Bits.thy
--- a/src/HOL/Word/Bits.thy	Sat Apr 20 18:02:22 2019 +0000
+++ b/src/HOL/Word/Bits.thy	Mon Apr 22 06:28:17 2019 +0000
@@ -20,8 +20,6 @@
   bind slightly stronger than \<open>*\<close>.
 \<close>
 
-text \<open>Testing and shifting operations.\<close>
-
 class bits = bit +
   fixes test_bit :: "'a \<Rightarrow> nat \<Rightarrow> bool"  (infixl "!!" 100)
     and lsb :: "'a \<Rightarrow> bool"




