1.1 --- a/src/HOL/List.thy	Thu Jun 17 15:59:48 2010 +0200
     1.2 +++ b/src/HOL/List.thy	Thu Jun 17 16:15:15 2010 +0200
     1.3 @@ -4948,7 +4948,7 @@
     1.4    (Haskell "concat")
     1.5  
     1.6  code_const rev
     1.7 -  (Haskell "rev")
     1.8 +  (Haskell "reverse")
     1.9  
    1.10  code_const zip
    1.11    (Haskell "zip")