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.
fixed typo
authorhaftmann
Tue, 25 Jul 2006 16:43:33 +0200
changeset 20190 03a8d7c070d3
parent 20189 1be8b181dafa
child 20191 b43fd26e1aaa
fixed typo
src/HOL/Tools/datatype_codegen.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/datatype_codegen.ML	Tue Jul 25 16:43:32 2006 +0200
+++ b/src/HOL/Tools/datatype_codegen.ML	Tue Jul 25 16:43:33 2006 +0200
@@ -18,7 +18,7 @@
   val get_datatype_mut_specs: theory -> string list
     -> ((string * sort) list * (string * (string * typ list) list) list)
   val get_datatype_arities: theory -> string list -> sort
-    -> (string * (((string * sort list) * sort)  * term list)) list option
+    -> (string * (((string * sort list) * sort) * term list)) list option
   val prove_arities: (thm list -> tactic) -> string list -> sort
     -> (((string * sort list) * sort) list -> (string * term list) list
     -> ((bstring * attribute list) * term) list) -> theory -> theory
isabelle