src/Pure/type.ML

--- a/src/Pure/type.ML	Tue Jan 05 11:38:51 2010 +0100
+++ b/src/Pure/type.ML	Tue Jan 05 14:19:12 2010 +0100
@@ -19,7 +19,6 @@
     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