equal
deleted
inserted
replaced
17 * |
17 * |
18 * At such a Position there is (a) a Formula or a CalcHead (b) a Tactic which is |
18 * At such a Position there is (a) a Formula or a CalcHead (b) a Tactic which is |
19 * applicable to this Formula (Apply_Method is the only Tactic applicable to a |
19 * applicable to this Formula (Apply_Method is the only Tactic applicable to a |
20 * CalcHead) (c) an Assumption generated by application of this Tactic to this |
20 * CalcHead) (c) an Assumption generated by application of this Tactic to this |
21 * Formula |
21 * Formula |
22 * hallo |
|
23 * Invariant: The Level changes at most +/- ONE when moveUp or moveDown. |
22 * Invariant: The Level changes at most +/- ONE when moveUp or moveDown. |
24 * |
23 * |
25 * a CalcIterator may be invalid, |
24 * a CalcIterator may be invalid, |
26 * |
25 * |
27 * @see isac.util.CalcChangedEvent# |
26 * @see isac.util.CalcChangedEvent# |