signature: eqtype to accomodate Alice;
authorwenzelm
Tue Apr 03 19:24:18 2007 +0200 (2007-04-03)
changeset 22572c6bbe56afbf7
parent 22571 3f00e937d1c9
child 22573 2ac646ab2f6c
signature: eqtype to accomodate Alice;
src/Pure/term.ML
     1.1 --- a/src/Pure/term.ML	Tue Apr 03 19:24:17 2007 +0200
     1.2 +++ b/src/Pure/term.ML	Tue Apr 03 19:24:18 2007 +0200
     1.3 @@ -13,10 +13,10 @@
     1.4  
     1.5  signature BASIC_TERM =
     1.6  sig
     1.7 -  type indexname
     1.8 -  type class
     1.9 -  type sort
    1.10 -  type arity
    1.11 +  eqtype indexname
    1.12 +  eqtype class
    1.13 +  eqtype sort
    1.14 +  eqtype arity
    1.15    datatype typ =
    1.16      Type  of string * typ list |
    1.17      TFree of string * sort |