Merge pull request #1 from MerkleB/master

asdf
- organized temporary files
- fixed theory.tex
Merge pull request #3 from dasBKB/master

dsv