_reflcl;

--- a/src/HOL/Trancl.thy	Tue Jul 06 21:08:30 1999 +0200
+++ b/src/HOL/Trancl.thy	Tue Jul 06 21:09:05 1999 +0200
@@ -23,7 +23,7 @@
   "r^+  ==  r O rtrancl(r)"
 
 syntax
-  reflcl  :: "('a*'a)set => ('a*'a)set"       ("(_^=)" [1000] 999)
+  "_reflcl"  :: "('a*'a)set => ('a*'a)set"       ("(_^=)" [1000] 999)
 
 translations
   "r^=" == "r Un Id"