NEW - bug 131: tlc2.util.BigInt.equals causes java.lang.StackOverflowError  http://bugzilla.tlaplus.net/show_bug.cgi?id=131
NEW - bug 131: tlc2.util.BigInt.equals causes
java.lang.StackOverflowError 
http://bugzilla.tlaplus.net/show_bug.cgi?id=131

git-svn-id: 7acc490bd371dbc82047a939b87dc892fdc31f59@21812 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c

lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus