fixed tiny bugs in the sizing
Merge pull request #11 from CurryBoy/gae

fixed tiny bugs in the sizing
Merge branch 'touch' of github.com:CurryBoy/Peirce-Logic into touch
[touch] included new libraries