lib/browser/GraphBrowser/ParseError.java

generic of_nat and of_int functions, and generalization of iszero
and neg

package GraphBrowser;

class ParseError extends Exception {
	public ParseError(String s) { super(s); }
}