Removes two temporary files.

Jan, I think you added these accidentally.
Fix a typo in Definition 6.9 of Gamma.