--- a/src/HOL/List.thy Mon Jul 19 11:55:42 2010 +0200 +++ b/src/HOL/List.thy Mon Jul 19 11:55:43 2010 +0200 @@ -4819,7 +4819,7 @@ (SML "[]") (OCaml "[]") (Haskell "[]") - (Scala "Nil") + (Scala "!Nil") code_instance list :: eq (Haskell -)