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.
Changed bstring argument to xstring.
authorskalberg
Mon, 21 Jul 2003 08:53:56 +0200
changeset 14118 05416ba8eef2
parent 14117 d3512dedbaea
child 14119 fb9c392644a1
Changed bstring argument to xstring.
src/HOL/Tools/specification_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/specification_package.ML	Mon Jul 21 08:52:06 2003 +0200
+++ b/src/HOL/Tools/specification_package.ML	Mon Jul 21 08:53:56 2003 +0200
@@ -9,9 +9,9 @@
 signature SPECIFICATION_PACKAGE =
 sig
     val quiet_mode: bool ref
-    val add_specification: (bstring * bstring * bool) list -> bstring * Args.src list
+    val add_specification: (bstring * xstring * bool) list -> bstring * Args.src list
 			   -> theory * thm -> theory * thm
-    val add_specification_i: (bstring * bstring * bool) list -> bstring * theory attribute list
+    val add_specification_i: (bstring * xstring * bool) list -> bstring * theory attribute list
 			     -> theory * thm -> theory * thm
 end
isabelle