--- a/src/HOL/Equiv_Relations.thy Thu Jan 16 20:52:54 2014 +0100
+++ b/src/HOL/Equiv_Relations.thy Thu Jan 16 21:22:01 2014 +0100
@@ -497,5 +497,6 @@
"equivp R \<Longrightarrow> R x y \<Longrightarrow> R y z \<Longrightarrow> R x z"
by (erule equivpE, erule transpE)
+hide_const (open) proj
+
end
-