Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/CCL/ex/Nat.thy
changeset 24825 c4f13ab78f9d
parent 20140 98acc6d0fab6
child 27221 31328dc30196 
--- a/src/CCL/ex/Nat.thy	Wed Oct 03 19:49:33 2007 +0200
+++ b/src/CCL/ex/Nat.thy	Wed Oct 03 21:29:05 2007 +0200
@@ -13,12 +13,12 @@
 consts
 
   not   :: "i=>i"
-  "#+"  :: "[i,i]=>i"            (infixr 60)
-  "#*"  :: "[i,i]=>i"            (infixr 60)
-  "#-"  :: "[i,i]=>i"            (infixr 60)
-  "##"  :: "[i,i]=>i"            (infixr 60)
-  "#<"  :: "[i,i]=>i"            (infixr 60)
-  "#<=" :: "[i,i]=>i"            (infixr 60)
+  add   :: "[i,i]=>i"            (infixr "#+" 60)
+  mult  :: "[i,i]=>i"            (infixr "#*" 60)
+  sub   :: "[i,i]=>i"            (infixr "#-" 60)
+  div   :: "[i,i]=>i"            (infixr "##" 60)
+  lt    :: "[i,i]=>i"            (infixr "#<" 60)
+  le    :: "[i,i]=>i"            (infixr "#<=" 60)
   ackermann :: "[i,i]=>i"
 
 defs
isabelle