fixed OCaml
authorhaftmann
Tue Jan 22 23:06:58 2008 +0100 (2008-01-22)
changeset 259410929d6d08dd3
parent 25940 6942f3c5dec8
child 25942 a52309ac4a4d
fixed OCaml
src/HOL/Library/Code_Index.thy
     1.1 --- a/src/HOL/Library/Code_Index.thy	Tue Jan 22 11:37:28 2008 +0100
     1.2 +++ b/src/HOL/Library/Code_Index.thy	Tue Jan 22 23:06:58 2008 +0100
     1.3 @@ -194,7 +194,7 @@
     1.4  
     1.5  code_const "op + \<Colon> index \<Rightarrow> index \<Rightarrow> index"
     1.6    (SML "Int.+/ ((_),/ (_))")
     1.7 -  (OCaml "Pervasives.+")
     1.8 +  (OCaml "Pervasives.(+)")
     1.9    (Haskell infixl 6 "+")
    1.10  
    1.11  code_const "op - \<Colon> index \<Rightarrow> index \<Rightarrow> index"
    1.12 @@ -204,17 +204,17 @@
    1.13  
    1.14  code_const "op * \<Colon> index \<Rightarrow> index \<Rightarrow> index"
    1.15    (SML "Int.*/ ((_),/ (_))")
    1.16 -  (OCaml "Pervasives.*")
    1.17 +  (OCaml "Pervasives.(*)")
    1.18    (Haskell infixl 7 "*")
    1.19  
    1.20  code_const "op div \<Colon> index \<Rightarrow> index \<Rightarrow> index"
    1.21    (SML "Int.div/ ((_),/ (_))")
    1.22 -  (OCaml "Pervasives.div")
    1.23 +  (OCaml "Pervasives.(/)")
    1.24    (Haskell "div")
    1.25  
    1.26  code_const "op mod \<Colon> index \<Rightarrow> index \<Rightarrow> index"
    1.27    (SML "Int.mod/ ((_),/ (_))")
    1.28 -  (OCaml "Pervasives.mod")
    1.29 +  (OCaml "Pervasives.(mod)")
    1.30    (Haskell "mod")
    1.31  
    1.32  code_const "op = \<Colon> index \<Rightarrow> index \<Rightarrow> bool"