Ignores temporary files.
Adds initial non-compiling skeleton of definitions and theorem.