fixed typo
authorhaftmann
Tue Jul 25 16:43:33 2006 +0200 (2006-07-25)
changeset 2019003a8d7c070d3
parent 20189 1be8b181dafa
child 20191 b43fd26e1aaa
fixed typo
src/HOL/Tools/datatype_codegen.ML
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Tue Jul 25 16:43:32 2006 +0200
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Tue Jul 25 16:43:33 2006 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4    val get_datatype_mut_specs: theory -> string list
     1.5      -> ((string * sort) list * (string * (string * typ list) list) list)
     1.6    val get_datatype_arities: theory -> string list -> sort
     1.7 -    -> (string * (((string * sort list) * sort)  * term list)) list option
     1.8 +    -> (string * (((string * sort list) * sort) * term list)) list option
     1.9    val prove_arities: (thm list -> tactic) -> string list -> sort
    1.10      -> (((string * sort list) * sort) list -> (string * term list) list
    1.11      -> ((bstring * attribute list) * term) list) -> theory -> theory