1.1 --- a/src/java/isac/util/interfaces/ICalcIterator.java	Mon Jun 20 10:17:26 2005 +0200
     1.2 +++ b/src/java/isac/util/interfaces/ICalcIterator.java	Mon Jun 20 10:46:20 2005 +0200
     1.3 @@ -4,7 +4,6 @@
     1.4  package isac.util.interfaces;
     1.5  
     1.6  import isac.util.formulae.Assumptions;
     1.7 -import isac.util.formulae.CalcFormula;
     1.8  import isac.util.formulae.Position;
     1.9  import isac.util.tactics.Tactic;
    1.10  
    1.11 @@ -19,6 +18,7 @@
    1.12   * applicable to this Formula (Apply_Method is the only Tactic applicable to a
    1.13   * CalcHead) (c) an Assumption generated by application of this Tactic to this
    1.14   * Formula
    1.15 + * 
    1.16   * Invariant: The Level changes at most +/- ONE when moveUp or moveDown.
    1.17   * 
    1.18   * a CalcIterator may be invalid,