1.1 --- a/src/java/isac/util/interfaces/ICalcIterator.java Thu May 12 18:12:33 2005 +0200
1.2 +++ b/src/java/isac/util/interfaces/ICalcIterator.java Thu May 12 18:13:39 2005 +0200
1.3 @@ -14,7 +14,7 @@
1.4
1.5 /**
1.6 * References a certain position in a CalcTree.
1.7 - *
1.8 + * helloworld
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