added SOLVED' -- a more direct version of THEN_ALL_NEW (K no_tac) -- strictly speaking it does not even depend on subgoal addressing, but it would be too confusing without it;
package GraphBrowser;
class ParseError extends Exception {
public ParseError(String s) { super(s); }
}