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.
init_data: improved print method;
authorwenzelm
Thu, 20 Nov 1997 15:30:03 +0100
changeset 4257 1663f9056045
parent 4256 e768c42069bb
child 4258 f2ca5a87f0a7
init_data: improved print method;
src/Pure/theory.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/theory.ML	Thu Nov 20 15:28:48 1997 +0100
+++ b/src/Pure/theory.ML	Thu Nov 20 15:30:03 1997 +0100
@@ -74,7 +74,7 @@
   val add_space: string * string list -> theory -> theory
   val add_name: string -> theory -> theory
   val init_data: (string * (object * (object -> object) *
-    (object * object -> object) * (object -> unit))) list -> theory -> theory
+    (object * object -> object) * (Sign.sg -> object -> unit))) list -> theory -> theory
   val get_data: theory -> string -> object
   val put_data: string * object -> theory -> theory
   val prep_ext: theory -> theory
isabelle