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.
mod to error msg
authornipkow
Sat, 15 Apr 2000 17:41:20 +0200
changeset 8719 8ffa2c825fd7
parent 8718 3ba75b7e1168
child 8720 840c75ab2a7f
mod to error msg
TFL/tfl.sml file | annotate | diff | comparison | revisions 
--- a/TFL/tfl.sml	Sat Apr 15 15:01:31 2000 +0200
+++ b/TFL/tfl.sml	Sat Apr 15 17:41:20 2000 +0200
@@ -339,7 +339,7 @@
              of [] => ()
           | L => mk_functional_err
  ("The following clauses are redundant (covered by preceding clauses): " ^
-                   commas (map Int.toString L))
+                   commas (map Int.toString L) ^ "\n(counting from zero)")
  in {functional = Abs(Sign.base_name fname, ftype,
 		      abstract_over (atom, 
 				     absfree(aname,atype, case_tm))),
isabelle