src/HOL/Product_Type.thy
changeset 34900 9b12b0824bfe
parent 34886 873c31d9f10d
child 35115 446c5063e4fd
     1.1 --- a/src/HOL/Product_Type.thy	Thu Jan 14 17:47:39 2010 +0100
     1.2 +++ b/src/HOL/Product_Type.thy	Thu Jan 14 17:47:39 2010 +0100
     1.3 @@ -1000,7 +1000,7 @@
     1.4    (SML infix 2 "*")
     1.5    (OCaml infix 2 "*")
     1.6    (Haskell "!((_),/ (_))")
     1.7 -  (Scala "!((_),/ (_))")
     1.8 +  (Scala "((_),/ (_))")
     1.9  
    1.10  code_instance * :: eq
    1.11    (Haskell -)