changeset 8584 | 016314c2fa0a |
parent 8020 | 2823ce1753a5 |
child 9659 | b9cf6801f3da |
8583:34c4847fd8c1 | 8584:016314c2fa0a |
---|---|
1 |
1 |
2 %% $Id$ |
2 %% $Id$ |
3 |
3 |
4 \documentclass[11pt,a4paper]{article} |
4 \documentclass[11pt,a4paper]{article} |
5 \usepackage{comment,proof,isabelle,isabellesym,pdfsetup} |
5 \usepackage{proof,isabelle,isabellesym,pdfsetup} |
6 |
6 |
7 \renewcommand{\isamarkupheader}[1]{\section{#1}} |
7 \renewcommand{\isamarkupheader}[1]{\section{#1}} |
8 |
8 |
9 \newcommand{\name}[1]{\textsl{#1}} |
9 \newcommand{\name}[1]{\textsl{#1}} |
10 |
10 |