anchor.diff:   *
    *
    * $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
    *
  
positive.code:       expression
      ;
  
  private claimDefinition
  {
      String name = null;
  }
      : claimKind name=idName
        equals
        expression
      ;
  
  private claimKind
      : "theorem"
      | "axiom"
      | "conjecture"
      ;
  
  private expression
  
negative.code:     : importDeclaration
      | item=sortDeclarationOrDefinition
      | item=opDeclaration
      | item=definition
      ;
  
  //---------------------------------------------------------------------------
  