1.1 --- a/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:14:49 2005 +0200
     1.2 +++ b/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:18:53 2005 +0200
     1.3 @@ -19,7 +19,7 @@
     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 - * 
     1.8 + * hallo
     1.9   * Invariant: The Level changes at most +/- ONE when moveUp or moveDown.
    1.10   * 
    1.11   * a CalcIterator may be invalid,