anchor.diff:   *
    *
    * $Log$
  + * Revision 1.23  2003/03/21 02:48:45  weilyn
  + * Attempting to add entire SpecCalculus grammar.  Added patterns,
  + * expressions, and sorts.  Updated existing rules to use new
  + * SpecCalculus rules.  Still needs a lot of work...
  + *
    * Revision 1.22  2003/03/19 21:33:13  gilham
    * Fixed LATEX_COMMENT to handle  comment blocks not ended with
    * "\begin{spec}".
  
positive.code:       childItem=claimName               {if (childItem != null) children.add(childItem);}
        "in"
        childItem=scTerm[null]            {if (childItem != null) children.add(childItem);}
        //ignore=fullURIPath
        (childItem=proverAssertions)?     {if (childItem != null) children.add(childItem);}
        (childItem=proverOptions)?        {if (childItem != null) children.add(childItem);}
                                          {proof = builder.createProof(name);
  
negative.code:     ;
  
  private tightPattern
      : //for performance reasons, made this part of the closedPattern production... (embedPattern) => embedPattern
  //this is the (COLONCOLON tightPattern)? part of the closedPattern production...   | consPattern
      | aliasedPattern
      | quotientPattern
  //the rule for relaxPattern wasn't in the official grammar...    | relaxPattern
      | (name)? closedPattern (COLONCOLON tightPattern)?
      ;
  
  private aliasedPattern
  