equal
deleted
inserted
replaced
3 |
3 |
4 \documentclass[11pt,a4paper]{article} |
4 \documentclass[11pt,a4paper]{article} |
5 \usepackage{graphicx} |
5 \usepackage{graphicx} |
6 \usepackage[english]{babel} |
6 \usepackage[english]{babel} |
7 \usepackage[latin1]{inputenc} |
7 \usepackage[latin1]{inputenc} |
|
8 \usepackage{amssymb} |
8 \usepackage{isabelle,isabellesym,pdfsetup} |
9 \usepackage{isabelle,isabellesym,pdfsetup} |
9 |
10 |
10 \isabellestyle{it} |
11 \isabellestyle{it} |
11 \renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}} |
12 \renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}} |
|
13 \newcommand{\isasymRrightarrow}{\isamath{\Rrightarrow}} |
12 |
14 |
13 \begin{document} |
15 \begin{document} |
14 |
16 |
15 \title{Fundamental Properties of Lambda-calculus} |
17 \title{Fundamental Properties of Lambda-calculus} |
16 \author{Tobias Nipkow \\ Stefan Berghofer} |
18 \author{Tobias Nipkow \\ Stefan Berghofer} |