1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/isac/chuber/bakk_thesis_prelim.tex Wed Jul 20 08:50:16 2011 +0200
1.3 @@ -0,0 +1,38 @@
1.4 +\documentclass{article}
1.5 +\usepackage{a4}
1.6 +\usepackage{times}
1.7 +\usepackage{latexsym}
1.8 +%\bibliographystyle{alpha}
1.9 +\bibliographystyle{abbrv}
1.10 +\usepackage{graphicx}
1.11 +
1.12 +\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
1.13 +\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
1.14 +
1.15 +\title{Tentative Title:\\
1.16 + Theory of Functional Programming\\
1.17 + Introduced by Isabelle and \isac}
1.18 +\author{n.n.\\
1.19 +{\tt TODO@xxx.at}}
1.20 +
1.21 +\begin{document}
1.22 +\maketitle
1.23 +\abstract{
1.24 +TODO
1.25 +}
1.26 +
1.27 +\section{Background}
1.28 +
1.29 +\section{Goal}
1.30 +
1.31 +\section{State of the Art}
1.32 +
1.33 +\section{Thesis Structure}
1.34 +
1.35 +\section{Timeline}
1.36 +
1.37 +%Milestones
1.38 +%\subsection{TODO}
1.39 +
1.40 +%\bibliography{bib/TODO}
1.41 +\end{document}