
diff -r 10c096d59218 -r 2585e2a7a7ab Slides/slides01.tex
--- a/Slides/slides01.tex	Tue Jun 14 12:24:25 2016 +0100
+++ b/Slides/slides01.tex	Tue Jun 14 12:37:46 2016 +0100
@@ -2,7 +2,6 @@
 \usepackage{slides}
 \usepackage{langs}
 \usepackage{graph}
-%\usepackage{grammar}
 \usepackage{soul}
 \usepackage{data}
 \usepackage{proof}
@@ -11,31 +10,6 @@
 \renewcommand{\slidecaption}{Canterbury, 22.2.2016}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}
 
-\newcommand\grid[1]{%
-\begin{tikzpicture}[baseline=(char.base)]
-  \path[use as bounding box]
-    (0,0) rectangle (1em,1em);
-  \draw[red!50, fill=red!20]
-    (0,0) rectangle (1em,1em);
-  \node[inner sep=1pt,anchor=base west]
-    (char) at (0em,\gridraiseamount) {#1};
-\end{tikzpicture}}
-\newcommand\gridraiseamount{0.12em}
-
-\makeatletter
-\newcommand\Grid[1]{%
-  \@tfor\z:=#1\do{\grid{\z}}}
-\makeatother	
-
-\newcommand\Vspace[1][.3em]{%
-  \mbox{\kern.06em\vrule height.3ex}%
-  \vbox{\hrule width#1}%
-  \hbox{\vrule height.3ex}}
-
-\def\VS{\Vspace[0.6em]}
-
-
-
 \begin{document}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[t]




