# HG changeset patch
# User wenzelm
# Date 1175621058 -7200
# Node ID c6bbe56afbf797d33cde59780709ded650f09a49
# Parent  3f00e937d1c98f13b4425ccb6e64fc0ab57e2baf
signature: eqtype to accomodate Alice;

diff -r 3f00e937d1c9 -r c6bbe56afbf7 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 |