Subversion Repositories TPPL

Rev

Rev 26 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 26 Rev 33
Line 17... Line 17...
17
17
18
\renewenvironment{quote}
18
\renewenvironment{quote}
19
  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
19
  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
20
  {\endlist}
20
  {\endlist}
21
\newcommand{\quotebreak}{\\[1.2ex]}
21
\newcommand{\quotebreak}{\\[1.2ex]}
-
 
22
\newcommand{\secref}[1]{\S\ref{#1}}
22
\renewcommand{\isachardoublequoteopen}{}
23
\renewcommand{\isachardoublequoteopen}{}
23
\renewcommand{\isachardoublequoteclose}{}
24
\renewcommand{\isachardoublequoteclose}{}
24
\renewcommand{\isacharbar}{$|$}
25
\renewcommand{\isacharbar}{$|$}
25
\renewcommand{\isacharhash}{:}
26
\renewcommand{\isacharhash}{:}
26
\newcommand{\eqnnewline}{\\[1.3ex]}
27
\newcommand{\eqnnewline}{\\[1.3ex]}
27
\newenvironment{simplegather}{\[\begin{gathered}}{\end{gathered}\]}
28
\newenvironment{simplegather}{\[\begin{gathered}}{\end{gathered}\]}
28
\newenvironment{simplealign}{\[\begin{aligned}}{\end{aligned}\]}
29
\newenvironment{simplealign}{\[\begin{aligned}}{\end{aligned}\]}
29

30

30
\bibliographystyle{alpha}
31
\bibliographystyle{alpha}
31

32

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

36

36
\begin{document}
37
\begin{document}
37
\maketitle
38
\maketitle