equal
deleted
inserted
replaced
1 %% $Id$ |
1 %% $Id$ |
2 \documentclass[12pt,a4paper]{article} |
2 \documentclass[12pt,a4paper]{article} |
3 \usepackage{latexsym,../iman,../extra,../proof,../pdfsetup} |
3 \usepackage{latexsym,../iman,../extra,../ttbox,../proof,../pdfsetup} |
4 |
4 |
5 \newif\ifshort%''Short'' means a published version, not the documentation |
5 \newif\ifshort%''Short'' means a published version, not the documentation |
6 \shortfalse%%%%%\shorttrue |
6 \shortfalse%%%%%\shorttrue |
7 |
7 |
8 \title{A Fixedpoint Approach to\\ |
8 \title{A Fixedpoint Approach to\\ |