Everything

mugging push

Added new classes for working on trees as normal objects - to speed up breadth first search. Completed naive breadth first search with binary search on frontier and explored nodes.

Initial breadth first search proof implemented

updated undo delete

Good working state with all predicate rules implemented. Just need a few cosmetic changes and to change the way the undo works.

mugging commit - basic predicate equivalence rules implemented. Some changes made to formulaMatchesTree in order to collect pairs of quantifier variables. Tests updated to work with new matching pairs format. Fixed parser bug with propositional logic not accepting truth as a symbol

mugging commit - predicate support in answerNodeViews and treeVis

Added custom errors back into the parser

Added initial data structures and parser for supporting predicate logic

Propositional logic complete with a tabbed tree view/exercise side bar

mugging commit

mugging push

mugging commit

Another mugging push