src/Pure/term.ML

--- a/src/Pure/term.ML	Tue Apr 03 19:24:17 2007 +0200
+++ b/src/Pure/term.ML	Tue Apr 03 19:24:18 2007 +0200
@@ -13,10 +13,10 @@
 
 signature BASIC_TERM =
 sig
-  type indexname
-  type class
-  type sort
-  type arity
+  eqtype indexname
+  eqtype class
+  eqtype sort
+  eqtype arity
   datatype typ =
     Type  of string * typ list |
     TFree of string * sort |