Subversion Repositories TPPL

Rev

Rev 26 | Blame | Compare with Previous | Last modification | View Log | RSS feed


\documentclass[11pt,a4paper]{scrartcl}

\usepackage[english]{babel}

\usepackage[utf8]{inputenc}
\usepackage[onehalfspacing]{setspace}
\usepackage{paralist}
\usepackage{graphicx}
\usepackage{url}
\usepackage{proof}
\usepackage{amsmath}
\usepackage{sty/isabelle}
\usepackage{sty/isabellesym}

\usepackage{sty/editing
}                    %DISABLE FOR FINAL VERSION

\renewenvironment{quote}
  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
  {\endlist}
\newcommand{\quotebreak}{\\[1.2ex]}
\newcommand{\secref}[1]{\S\ref{#1}}
\renewcommand{\isachardoublequoteopen}{}
\renewcommand{\isachardoublequoteclose}{}
\renewcommand{\isacharbar}{$|$}
\renewcommand{\isacharhash}{:}
\newcommand{\eqnnewline}{\\[1.3ex]}
\newenvironment{simplegather}{\[\begin{gathered}}{\end{gathered}\]}
\newenvironment{simplealign}{\[\begin{aligned}}{\end{aligned}\]}

\bibliographystyle{alpha}

\title{Design and Prototype for a\\
  TP-based Programming Language\\
  {\Large A statement why Isabelle/HOL is the system of choice}}

\begin{document}
\maketitle
{\small
\begin{spacing}{1}\tableofcontents\end{spacing}
}
\newpage

\include{TPPL-isabelle-content}

\newpage

\begin{spacing}{1}\bibliography{references}\end{spacing}

\end{document
}