
diff -r 53fea2ccab19 -r 7beb0cf38292 src/HOL/List.thy
--- a/src/HOL/List.thy	Thu Jan 02 08:37:52 2025 +0100
+++ b/src/HOL/List.thy	Thu Jan 02 08:37:55 2025 +0100
@@ -8089,11 +8089,9 @@
 
 setup \<open>fold (List_Code.add_literal_list) ["SML", "OCaml", "Haskell", "Scala"]\<close>
 
-code_reserved SML
-  list
-
-code_reserved OCaml
-  list
+code_reserved
+  (SML) list
+  and (OCaml) list
 
 
 subsubsection \<open>Use convenient predefined operations\<close>




