src/HOL/Rings.thy

--- a/src/HOL/Rings.thy	Wed Feb 18 22:46:48 2015 +0100
+++ b/src/HOL/Rings.thy	Thu Feb 19 11:53:36 2015 +0100
@@ -1259,6 +1259,8 @@
 
 end
 
+hide_fact (open) comm_mult_left_mono comm_mult_strict_left_mono distrib
+
 code_identifier
   code_module Rings \<rightharpoonup> (SML) Arith and (OCaml) Arith and (Haskell) Arith