src/Pure/term.ML

--- a/src/Pure/term.ML	Thu Jan 28 22:38:11 2010 +0100
+++ b/src/Pure/term.ML	Thu Jan 28 22:39:48 2010 +0100
@@ -12,10 +12,10 @@
 
 signature BASIC_TERM =
 sig
-  eqtype indexname
-  eqtype class
-  eqtype sort
-  eqtype arity
+  type indexname = string * int
+  type class = string
+  type sort = class list
+  type arity = string * sort list * sort
   datatype typ =
     Type  of string * typ list |
     TFree of string * sort |