diff -r 3fe2e418a071 -r 7fbebf75b3ef src/HOL/List.thy
--- a/src/HOL/List.thy	Fri Apr 24 08:24:54 2009 +0200
+++ b/src/HOL/List.thy	Fri Apr 24 17:45:15 2009 +0200
@@ -198,7 +198,7 @@
 
 definition
   rotate :: "nat \<Rightarrow> 'a list \<Rightarrow> 'a list" where
-  "rotate n = rotate1 o^ n"
+  "rotate n = rotate1 ^^ n"
 
 definition
   list_all2 :: "('a => 'b => bool) => 'a list => 'b list => bool" where