Create toptheory.tex