PL to EG redone
Merge branch 'logic' of https://github.com/CurryBoy/Peirce-Logic into logic

Conflicts:
	appengine/templates/index.html