Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
yet another OCaml fix
authorhaftmann
Wed, 23 Jan 2008 09:57:55 +0100
changeset 25945 ddc6a3312636
parent 25944 f0301d6c7b79
child 25946 8ceff6c1f2a8
yet another OCaml fix
src/HOL/Library/Code_Index.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Code_Index.thy	Tue Jan 22 23:07:25 2008 +0100
+++ b/src/HOL/Library/Code_Index.thy	Wed Jan 23 09:57:55 2008 +0100
@@ -214,7 +214,7 @@
 
 code_const "op mod \<Colon> index \<Rightarrow> index \<Rightarrow> index"
   (SML "Int.mod/ ((_),/ (_))")
-  (OCaml "Pervasives.(mod)")
+  (OCaml "Pervasives.( mod )")
   (Haskell "mod")
 
 code_const "op = \<Colon> index \<Rightarrow> index \<Rightarrow> bool"
isabelle