anchor.diff:      : importDeclaration
       | item=sortDeclarationOrDefinition
       | item=opDeclaration
  -    | definition
  +    | item=definition
       ;
   
   //---------------------------------------------------------------------------
  
positive.code:     ;
  
  //---------------------------------------------------------------------------
  private definition
      : opDefinition
      | claimDefinition
      ;
  
  private opDefinition
  
negative.code:  *
   *
   * $Log$
   * Revision 1.8  2003/02/10 15:38:36  gilham
   * Allow non-word symbols only as op names, not as sort names or unit ids.
   *
   * Revision 1.7  2003/02/08 01:26:59  weilyn
   * Added rules to recognize claims and sort definitions
   *
  