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/List_ZF.thy
changeset 35112 ff6f60e6ab85
parent 35068 544867142ea4
child 35425 d4e747d3a874 
--- a/src/ZF/List_ZF.thy	Thu Feb 11 22:03:37 2010 +0100
+++ b/src/ZF/List_ZF.thy	Thu Feb 11 22:06:37 2010 +0100
@@ -16,7 +16,7 @@
 
 syntax
  "[]"        :: i                                       ("[]")
- "@List"     :: "is => i"                                 ("[(_)]")
+ "_List"     :: "is => i"                                 ("[(_)]")
 
 translations
   "[x, xs]"     == "CONST Cons(x, [xs])"
isabelle