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.
clarified signature default;
authorwenzelm
Sat, 12 Oct 2019 22:20:39 +0200
changeset 70852 ee2f490a06b4
parent 70851 6d01eca49b34
child 70853 c92ae7b0f3f1
clarified signature default;
src/Pure/term.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/term.scala	Sat Oct 12 22:18:27 2019 +0200
+++ b/src/Pure/term.scala	Sat Oct 12 22:20:39 2019 +0200
@@ -13,7 +13,7 @@
 {
   /* types and terms */
 
-  sealed case class Indexname(name: String, index: Int)
+  sealed case class Indexname(name: String, index: Int = 0)
   {
     override def toString: String =
       if (index == -1) name
isabelle