1 files changed, 0 insertions, 31 deletions
diff --git a/tex/thesis/main.tex b/tex/thesis/main.tex
deleted file mode 100644
index 5116e89..0000000
--- a/tex/thesis/main.tex
+++ /dev/null
@@ -1,31 +0,0 @@
-\documentclass{paper}
-
-\title{Implementing and Evaluating a Strategy-iteration Based Static Analyzer within the LLVM-framework}
-\author{Carlo Zancanaro \\ {\tt czan8762@uni.sydney.edu.au}}
-
-\begin{document}
-
-\maketitle
-
-\abstract{Something}
-
-\section{Introduction}
-
-\section{Previous Work}
-\subsection{Fixpoint Iteration}
-\subsection{Policy Iteration}
-
-\section{Theory}
-
-\section{Implementation}
-
-\section{Experimentation}
-
-\section{Conclusion}
-
-something \cite{DBLP:tr/trier/MI96-11}
-
-\bibliographystyle{abbrv}
-\bibliography{references.bib}
-
-\end{document}