src/HOL/ex/Classpackage.thy
changeset 21911 e29bcab0c81c
parent 21707 dfc7b21d0ee9
child 21924 fe474e69e603
     1.1 --- a/src/HOL/ex/Classpackage.thy	Wed Dec 27 19:09:59 2006 +0100
     1.2 +++ b/src/HOL/ex/Classpackage.thy	Wed Dec 27 19:10:00 2006 +0100
     1.3 @@ -328,7 +328,7 @@
     1.4  definition "y2 = Y (1::int) 2 3"
     1.5  
     1.6  code_gen "op \<otimes>" \<one> inv
     1.7 -code_gen X Y (SML #) (Haskell -)
     1.8 -code_gen x1 x2 y2 (SML #) (Haskell -)
     1.9 +code_gen X Y (SML #) (Haskell -) (OCaml -)
    1.10 +code_gen x1 x2 y2 (SML #) (Haskell -) (OCaml -)
    1.11  
    1.12  end