anchor.diff:      ;
   
   //---------------------------------------------------------------------------
  -private sortDeclaration returns[ElementFactory.Item sort]
  +private sortDeclarationOrDefinition returns[ElementFactory.Item sort]
   {
       sort = null;
       String[] params = null;
       String name = null;
  +    String sortDef = null;
   }
       : begin:"sort" 
         name=qualifiableNames
  -      (params=formalSortParameters
  -      )?
  -                            {sort = builder.createSort(name, params);
  +      ((formalSortParameters) => 
  +            (params=formalSortParameters) (equals sortDef=sort)?
  +          | (equals sortDef=sort)?
  +      )
  +                           {sort = builder.createSort(name, params);
                                ParserUtil.setBounds(builder, sort, begin, LT(0));
                               }
       ;
  
positive.code:  *
   *
   * $Log$
   * Revision 1.5  2003/01/31 17:38:33  gilham
   * Removed token recording code.
   *
  
negative.code:        )*)?
        RPAREN                {params = (String[]) paramList.toArray(new String[]{});}
      ;
  
  //---------------------------------------------------------------------------
  private specialSymbol returns[String text]
  