equal
deleted
inserted
replaced
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[12pt,a4paper,fleqn]{report} |
4 \documentclass[12pt,a4paper,fleqn]{report} |
5 \usepackage{latexsym,graphicx} |
5 \usepackage{latexsym,graphicx} |
6 \usepackage{../iman,../extra,../isar,../proof} |
6 \usepackage{../iman,../extra,../isar,../proof} |
|
7 \usepackage[nohyphen,strings]{underscore} |
7 \usepackage{Thy/document/isabelle,Thy/document/isabellesym} |
8 \usepackage{Thy/document/isabelle,Thy/document/isabellesym} |
8 \usepackage{../ttbox,,../rail,../railsetup} |
9 \usepackage{../ttbox,,../rail,../railsetup} |
9 \usepackage{style} |
10 \usepackage{style} |
10 \usepackage{../pdfsetup} |
11 \usepackage{../pdfsetup} |
11 |
12 |
69 \renewcommand{\phi}{\varphi} |
70 \renewcommand{\phi}{\varphi} |
70 |
71 |
71 |
72 |
72 \begin{document} |
73 \begin{document} |
73 |
74 |
74 \underscoreoff |
|
75 |
|
76 \maketitle |
75 \maketitle |
77 |
76 |
78 \pagenumbering{roman} \tableofcontents \clearfirst |
77 \pagenumbering{roman} \tableofcontents \clearfirst |
79 |
78 |
80 \input{Thy/document/intro.tex} |
79 \input{Thy/document/intro.tex} |