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.
repaired signature
authorblanchet
Thu, 27 Sep 2012 17:54:35 +0200
changeset 49619 0e248756147a
parent 49618 29be73b789f9
child 49620 7db3d2986881
repaired signature
src/HOL/BNF/Tools/bnf_wrap.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/BNF/Tools/bnf_wrap.ML	Thu Sep 27 17:00:54 2012 +0200
+++ b/src/HOL/BNF/Tools/bnf_wrap.ML	Thu Sep 27 17:54:35 2012 +0200
@@ -20,7 +20,7 @@
       (binding list * (binding list list * (binding * term) list list)) -> local_theory ->
     (term list * term list list * thm * thm list * thm list * thm list * thm list list * thm list *
      thm list list) * local_theory
-  val parse_wrap_options: (bool * bool) parser
+  val parse_wrap_options: bool parser
   val parse_bound_term: (binding * string) parser
 end;
isabelle