1.1 --- a/doc-src/Codegen/Thy/ML.thy	Tue Jun 29 11:25:03 2010 +0200
     1.2 +++ b/doc-src/Codegen/Thy/ML.thy	Tue Jun 29 11:25:03 2010 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4    @{index_ML Code_Preproc.del_functrans: "string -> theory -> theory"} \\
     1.5    @{index_ML Code.add_datatype: "(string * typ) list -> theory -> theory"} \\
     1.6    @{index_ML Code.get_type: "theory -> string
     1.7 -    -> (string * sort) list * (string * typ list) list"} \\
     1.8 +    -> (string * sort) list * ((string * string list) * typ list) list"} \\
     1.9    @{index_ML Code.get_type_of_constr_or_abstr: "theory -> string -> (string * bool) option"}
    1.10    \end{mldecls}
    1.11