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/CTT/Arith.thy
changeset 12110 f8b4b11cd79d
parent 10467 e6e7205e9e91
child 17441 5b5feca0344a 
--- a/src/CTT/Arith.thy	Thu Nov 08 23:59:37 2001 +0100
+++ b/src/CTT/Arith.thy	Fri Nov 09 00:00:53 2001 +0100
@@ -14,7 +14,7 @@
 consts "#+","-","|-|"   :: "[i,i]=>i"   (infixr 65)
        "#*",div,mod     :: "[i,i]=>i"   (infixr 70)
 
-syntax (symbols)
+syntax (xsymbols)
   "op #*"      :: [i, i] => i   (infixr "#\\<times>" 70)
 
 syntax (HTML output)
isabelle