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.
exported build_tsig
authorhaftmann
Wed, 02 Dec 2009 17:53:35 +0100
changeset 33941 40408e6b833b
parent 33940 317933ce3712
child 33942 6a03c894fef8
exported build_tsig
src/Pure/type.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/type.ML	Wed Dec 02 17:53:35 2009 +0100
+++ b/src/Pure/type.ML	Wed Dec 02 17:53:35 2009 +0100
@@ -19,6 +19,7 @@
     types: decl Name_Space.table,
     log_types: string list}
   val empty_tsig: tsig
+  val build_tsig: (Name_Space.T * Sorts.algebra) * sort * decl Name_Space.table -> tsig
   val defaultS: tsig -> sort
   val logical_types: tsig -> string list
   val eq_sort: tsig -> sort * sort -> bool
isabelle