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.
tuned comments;
authorwenzelm
Sun, 10 Dec 2006 22:27:06 +0100
changeset 21763 12a2773e3608
parent 21762 c7ca3b57557f
child 21764 720b0add5206
tuned comments;
src/HOL/Tools/numeral_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/numeral_syntax.ML	Sun Dec 10 22:27:05 2006 +0100
+++ b/src/HOL/Tools/numeral_syntax.ML	Sun Dec 10 22:27:06 2006 +0100
@@ -2,8 +2,7 @@
     ID:         $Id$
     Authors:    Markus Wenzel, TU Muenchen
 
-Concrete syntax for generic numerals.  Assumes consts and syntax of
-theory HOL/Numeral.
+Concrete syntax for generic numerals.
 *)
 
 signature NUMERAL_SYNTAX =
isabelle