1 files changed, 5 insertions, 0 deletions

diff --git a/proof.tex b/proof.tex
index 2b571d9..fdd140f 100644
--- a/proof.tex
+++ b/proof.tex
@@ -1,3 +1,8 @@
 \section{Proof}
 
 \subsection{Coq Mechanisation}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "main"
+%%% End: