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 35068 544867142ea4
parent 32960 69916a850301
child 35112 ff6f60e6ab85 
--- a/src/ZF/List_ZF.thy	Wed Feb 10 00:45:16 2010 +0100
+++ b/src/ZF/List_ZF.thy	Wed Feb 10 00:46:56 2010 +0100
@@ -19,9 +19,9 @@
  "@List"     :: "is => i"                                 ("[(_)]")
 
 translations
-  "[x, xs]"     == "Cons(x, [xs])"
-  "[x]"         == "Cons(x, [])"
-  "[]"          == "Nil"
+  "[x, xs]"     == "CONST Cons(x, [xs])"
+  "[x]"         == "CONST Cons(x, [])"
+  "[]"          == "CONST Nil"
 
 
 consts
isabelle