sdfsdf

[cc1516.git] / deliverables / report / report.tex

diff --git a/deliverables/report/report.tex b/deliverables/report/report.tex
index e8deb22..36446e8 100644 (file)
--- a/deliverables/report/report.tex
+++ b/deliverables/report/report.tex
@@ -24,6 +24,7 @@
 \newcommand{\Yard}{\textsc{Yard}}
 \newcommand{\AST}{\emph{AST}}
 \newcommand{\ADT}{\emph{ADT}}
+\newcommand{\Clean}{\emph{Clean}}
 
 \let\tt\texttt
 
@@ -55,4 +56,8 @@
        firstline=6,
        lastline=42]{../../AST.dcl}
 
+\newpage
+\subsection{Inference rules} \label{sec:infRules}
+\input{infRules.tex}
+
 \end{document}