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.
standard convention for syntax consts;
authorwenzelm
Tue, 02 Mar 2010 22:20:19 +0100
changeset 35425 d4e747d3a874
parent 35424 08c37d7bd2ad
child 35426 c9b9d4fc270d
standard convention for syntax consts;
src/ZF/List_ZF.thy file | annotate | diff | comparison | revisions 
--- a/src/ZF/List_ZF.thy	Tue Mar 02 22:18:51 2010 +0100
+++ b/src/ZF/List_ZF.thy	Tue Mar 02 22:20:19 2010 +0100
@@ -15,8 +15,8 @@
 
 
 syntax
- "[]"        :: i                                       ("[]")
- "_List"     :: "is => i"                                 ("[(_)]")
+ "_Nil" :: i  ("[]")
+ "_List" :: "is => i"  ("[(_)]")
 
 translations
   "[x, xs]"     == "CONST Cons(x, [xs])"
isabelle