Move TeX proofs into proofs/