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.
Added store_thmss_atts to signature again.
authorberghofe
Mon, 05 Dec 2005 00:38:07 +0100
changeset 18349 58de95a16d3c
parent 18348 b5d7649f8aca
child 18350 66cda85ea3ab
Added store_thmss_atts to signature again.
src/HOL/Tools/datatype_aux.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/datatype_aux.ML	Sun Dec 04 12:40:39 2005 +0100
+++ b/src/HOL/Tools/datatype_aux.ML	Mon Dec 05 00:38:07 2005 +0100
@@ -15,6 +15,8 @@
   val add_path : bool -> string -> theory -> theory
   val parent_path : bool -> theory -> theory
 
+  val store_thmss_atts : string -> string list -> theory attribute list list -> thm list list
+    -> theory -> thm list list * theory
   val store_thmss : string -> string list -> thm list list -> theory -> thm list list * theory
   val store_thms_atts : string -> string list -> theory attribute list list -> thm list
     -> theory -> thm list * theory
isabelle