1.1 --- a/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:18:53 2005 +0200
     1.2 +++ b/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:19:58 2005 +0200
     1.3 @@ -19,7 +19,6 @@
     1.4   * applicable to this Formula (Apply_Method is the only Tactic applicable to a
     1.5   * CalcHead) (c) an Assumption generated by application of this Tactic to this
     1.6   * Formula
     1.7 - * hallo
     1.8   * Invariant: The Level changes at most +/- ONE when moveUp or moveDown.
     1.9   * 
    1.10   * a CalcIterator may be invalid,