# HG changeset patch
# User mlang
# Date 1115914798 -7200
# Node ID 6be2c13f61995aed28a535c191b0a87180272be5
# Parent  cdcc19348255cd78603ef43dd5772239b24b0ea6
java orignal again

diff -r cdcc19348255 -r 6be2c13f6199 src/java/isac/util/interfaces/ICalcIterator.java
--- a/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:18:53 2005 +0200
+++ b/src/java/isac/util/interfaces/ICalcIterator.java	Thu May 12 18:19:58 2005 +0200
@@ -19,7 +19,6 @@
  * applicable to this Formula (Apply_Method is the only Tactic applicable to a
  * CalcHead) (c) an Assumption generated by application of this Tactic to this
  * Formula
- * hallo
  * Invariant: The Level changes at most +/- ONE when moveUp or moveDown.
  * 
  * a CalcIterator may be invalid,