1.1 --- a/src/HOL/Tools/datatype_aux.ML	Sun Dec 04 12:40:39 2005 +0100
     1.2 +++ b/src/HOL/Tools/datatype_aux.ML	Mon Dec 05 00:38:07 2005 +0100
     1.3 @@ -15,6 +15,8 @@
     1.4    val add_path : bool -> string -> theory -> theory
     1.5    val parent_path : bool -> theory -> theory
     1.6  
     1.7 +  val store_thmss_atts : string -> string list -> theory attribute list list -> thm list list
     1.8 +    -> theory -> thm list list * theory
     1.9    val store_thmss : string -> string list -> thm list list -> theory -> thm list list * theory
    1.10    val store_thms_atts : string -> string list -> theory attribute list list -> thm list
    1.11      -> theory -> thm list * theory