anchor.diff:      ;
   
   //---------------------------------------------------------------------------
  -private definition
  +private definition returns[ElementFactory.Item item]
  +{
  +    item=null;
  +}
       : opDefinition
  -    | claimDefinition
  +    | item=claimDefinition
       ;
   
   private opDefinition
  
positive.code:     : importDeclaration
      | item=sortDeclarationOrDefinition
      | item=opDeclaration
      | definition
      ;
  
  //---------------------------------------------------------------------------
  
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
   *
  