added smoke
More changes to Theorem prover
Got Rid a Zoom, Yo
Merge branch 'master' of github.com:CurryBoy/Peirce-Logic
fixed index
Barath told me to push
merged
Merged more files
Merge branch 'master' of github.com:CurryBoy/Peirce-Logic
Fixed bounded collision
Base of minimap
Removed some deprecated code
Merge branch 'master' of github.com:CurryBoy/Peirce-Logic
Fixed all single node collisions
Propositional Logic Handler
fixed a ton
Fixed a bunch of merge errors
Fixed node skelton