I don't even know what I'm committing...
Added stuff to semtex
Lots of stuff missing...
At least we now come to a conclusion, I'll add the figures at some point in the distant future (maybe).
Merge pull request #113 from eggrobin/lecture-2013-05-28

Lecture 2013 05 28