Numerous cosmetic changes.
Use of ---> notation for types.
Added rules for the introduction of the iff connective, but they are too prolific to be useful.
package GraphBrowser;
class ParseError extends Exception {
public ParseError(String s) { super(s); }
}