Minor Qf formula updates
replaced checkWff with isWff
added TF functionality to QfWff.g4 and added more tests to QfWffCheckerTest
Updated grammar to be closer to properly recursive
The Qf grammar is a mess at the moment... but it passes most of the tests
Working on adding nested quantifier capabilities to QfWff.g4
Additional work on  the QF grammar.
updated conflicts
Fixed most of the tests in QffWffCheckerTest
Now passes all tests in QfWffCheckerTest
small changes
Working on adding nested quantifier capabilities to QfWff.g4
merged master into this branch
Merge branch 'wffchecker-future' of ssh://github.com/PeterDrake/Logic into wffchecker-future
Additional work on  the QF grammar.
Fixed most of the tests in QffWffCheckerTest
Now passes all tests in QfWffCheckerTest
Partial merge
Removed .orig file
Merge branch 'wffchecker-future' of ssh://github.com/PeterDrake/Logic into wffchecker-future