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.
small syntax tuning
authorhaftmann
Mon, 27 Nov 2006 13:42:48 +0100
changeset 21552 da4e5237dda2
parent 21551 d276e7d25017
child 21553 3dd27eda91b9
small syntax tuning
src/HOL/Integ/IntDef.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Integ/IntDef.thy	Mon Nov 27 13:42:47 2006 +0100
+++ b/src/HOL/Integ/IntDef.thy	Mon Nov 27 13:42:48 2006 +0100
@@ -921,7 +921,7 @@
   (SML "!((_ : IntInf.int) = _)")
   (Haskell infixl 4 "==")
 
-code_const "op <= \<Colon> int \<Rightarrow> int \<Rightarrow> bool"
+code_const "op \<le> \<Colon> int \<Rightarrow> int \<Rightarrow> bool"
   (SML "IntInf.<= (_, _)")
   (Haskell infix 4 "<=")
isabelle