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 signature
authorblanchet
Mon, 11 Nov 2013 17:38:53 +0100
changeset 54299 bc24e1ccfd35
parent 54298 347c3b0cab44
child 54300 bd36da55d825
tuned signature
src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML	Mon Nov 11 16:41:08 2013 +0100
+++ b/src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML	Mon Nov 11 17:38:53 2013 +0100
@@ -10,7 +10,7 @@
 sig
   val indexed: 'a list -> int -> int list * int
   val indexedd: 'a list list -> int -> int list list * int
-  val indexeddd: ''a list list list -> int -> int list list list * int
+  val indexeddd: 'a list list list -> int -> int list list list * int
   val indexedddd: 'a list list list list -> int -> int list list list list * int
   val find_index_eq: ''a list -> ''a -> int
   val finds: ('a * 'b -> bool) -> 'a list -> 'b list -> ('a * 'b list) list * 'b list
isabelle