| changeset 22366 | f4840bfffe5d |
| parent 21192 | 5fe5cd5fede7 |
| child 22665 | cf152ff55d16 |
| 22365:ce62a5f6954c | 22366:f4840bfffe5d |
|---|---|
2 % $Id$ |
2 % $Id$ |
3 |
3 |
4 \documentclass[11pt,a4paper]{article} |
4 \documentclass[11pt,a4paper]{article} |
5 \usepackage{ifthen} |
5 \usepackage{ifthen} |
6 \usepackage[latin1]{inputenc} |
6 \usepackage[latin1]{inputenc} |
7 \usepackage{isabelle,isabellesym,pdfsetup} |
7 \usepackage{isabelle,isabellesym,amssymb} |
8 \usepackage{pdfsetup} |
|
8 |
9 |
9 \urlstyle{rm} |
10 \urlstyle{rm} |
10 \isabellestyle{it} |
11 \isabellestyle{it} |
11 \pagestyle{myheadings} |
12 \pagestyle{myheadings} |
12 |
13 |