First parser for LFSC proofs.
changed "pos"/"neg" checks to a boolean parser
reduced four cases in clause parsing to one, using new literal parser
changed the way variable declarations are handled; no longer pasers
extra ")"s at the end separately.
Recurisve resolution parser; no longer uses long strings (some strings
still used!)
Clauses can hold more than 2 variables
Initial files added for SPASS parser
Parse some SPASS lines
Parses (and discards) all SPASS example files
Renamed SPASS parser to TPTP parser

The parser was in fact parsing TPTP files, and not SPASS proofs.
Initial SPASS proof parser added
Fixed SPASS parsing bug

Not all types were defined in the grammar. Parser must still be tested.
Fixed SPASS parsing bug
Fixed parser bug
Fixed SPASS parsing bug

terms ending in +, +*, or * were not working correctly. This appears to
be fixed.
SPASS parser updated to handle varibles, functions
Created new expression classes
Temp: removed requirements in new expression

The requirements for App2, App3 have been commented out. Not sure why
they're not working.
Added exprMap

Maps ref (x.y)->expr, as found in the SPASS file. Note that the function
expressions defined so far are largely placeholders.
SPASS: Reference labels parsed now