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/ZF/CardinalArith.thy
changeset 9964 7966a2902266
parent 9683 f87c8c449018
child 12114 a8e860c86252 
--- a/src/ZF/CardinalArith.thy	Fri Sep 15 00:17:51 2000 +0200
+++ b/src/ZF/CardinalArith.thy	Fri Sep 15 00:18:36 2000 +0200
@@ -39,7 +39,7 @@
   (*needed because jump_cardinal(K) might not be the successor of K*)
   csucc_def "csucc(K) == LEAST L. Card(L) & K<L"
 
-syntax (xsymbols)
+syntax (symbols)
   "op |+|"     :: [i,i] => i          (infixl "\\<oplus>" 65)
   "op |*|"     :: [i,i] => i          (infixl "\\<otimes>" 70)
isabelle