Added attribute diffs
Merge branch 'gae' of https://github.com/CurryBoy/Peirce-Logic into gae