Added something on the architecture

[tt2015.git] / a3 / preamble.tex

diff --git a/a3/preamble.tex b/a3/preamble.tex
index 36f5fb9..b4c799c 100644 (file)
--- a/a3/preamble.tex
+++ b/a3/preamble.tex
@@ -15,6 +15,8 @@
 \newcounter{TCC}
 \newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
 
+\newcommand{\GAST}{G$\forall$ST}
+
 \lstset{%
   breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
   breaklines=true,                 % sets automatic line breaking