Added definition and theorem environments, LN/M proofs.
Ignore theorem generated files.