2014 thesis: changes from MS

git-svn-id: svn+ssh://kasztan.ifj.edu.pl/home/theory/svnroot/camtoph/Gituliar@97 d7a11de1-dac9-4f50-91c3-d62249753022
2014 thesis

git-svn-id: svn+ssh://kasztan.ifj.edu.pl/home/theory/svnroot/camtoph/Gituliar@98 d7a11de1-dac9-4f50-91c3-d62249753022