1.1 --- a/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:13:39 2005 +0200
     1.2 +++ b/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:14:49 2005 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  
     1.5  /**
     1.6   * References a certain position in a CalcTree.
     1.7 - * helloworld
     1.8 + * 
     1.9   * At such a Position there is (a) a Formula or a CalcHead (b) a Tactic which is
    1.10   * applicable to this Formula (Apply_Method is the only Tactic applicable to a
    1.11   * CalcHead) (c) an Assumption generated by application of this Tactic to this