Subversion Repositories TPPL

Rev

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

Rev Author Line No. Line
18 haftmann 1
 
2
\documentclass[11pt,a4paper]{scrartcl}
3
 
4
\usepackage[english]{babel}
5
 
6
\usepackage[utf8]{inputenc}
7
\usepackage[onehalfspacing]{setspace}
8
\usepackage{paralist}
9
\usepackage{graphicx}
20 haftmann 10
\usepackage{url}
26 haftmann 11
\usepackage{proof}
12
\usepackage{amsmath}
20 haftmann 13
\usepackage{sty/isabelle}
14
\usepackage{sty/isabellesym}
18 haftmann 15
 
16
\usepackage{sty/editing}                    %DISABLE FOR FINAL VERSION
17
 
19 haftmann 18
\renewenvironment{quote}
19
  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
20
  {\endlist}
21
\newcommand{\quotebreak}{\\[1.2ex]}
33 haftmann 22
\newcommand{\secref}[1]{\S\ref{#1}}
21 haftmann 23
\renewcommand{\isachardoublequoteopen}{}
24
\renewcommand{\isachardoublequoteclose}{}
25
\renewcommand{\isacharbar}{$|$}
26
\renewcommand{\isacharhash}{:}
26 haftmann 27
\newcommand{\eqnnewline}{\\[1.3ex]}
28
\newenvironment{simplegather}{\[\begin{gathered}}{\end{gathered}\]}
29
\newenvironment{simplealign}{\[\begin{aligned}}{\end{aligned}\]}
19 haftmann 30
 
18 haftmann 31
\bibliographystyle{alpha}
32
 
33 haftmann 33
\title{Design and Prototype for a\\
18 haftmann 34
  TP-based Programming Language\\
35
  {\Large A statement why Isabelle/HOL is the system of choice}}
36
 
37
\begin{document}
38
\maketitle
39
{\small
40
\begin{spacing}{1}\tableofcontents\end{spacing}
41
}
42
\newpage
43
 
19 haftmann 44
\include{TPPL-isabelle-content}
18 haftmann 45
 
46
\newpage
47
 
48
\begin{spacing}{1}\bibliography{references}\end{spacing}
49
 
50
\end{document}