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/HOL/Numeral.thy
changeset 11704 3c50a2cd6f00
parent 11699 c7df55158574
child 11868 56db9f3a6b3e 
--- a/src/HOL/Numeral.thy	Fri Oct 05 23:58:52 2001 +0200
+++ b/src/HOL/Numeral.thy	Sat Oct 06 00:02:46 2001 +0200
@@ -24,7 +24,7 @@
 
 syntax
   "_constify" :: "num => numeral"    ("_")
-  "_Numeral" :: "numeral => 'a"    ("#_")
+  "_Numeral" :: "numeral => 'a"    ("_")
   Numeral0 :: 'a
   Numeral1 :: 'a
isabelle