changeset 6906 | 46652582f831 |
parent 5608 | a82a038a3e7a |
--- 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"