| changeset 12357 | f7fa60115e4e |
| parent 12105 | 1e4451999200 |
| child 12509 | b461efcfc886 |
| 12356:ce0961b1f536 | 12357:f7fa60115e4e |
|---|---|
2 % $Id$ |
2 % $Id$ |
3 |
3 |
4 \documentclass[11pt,a4paper]{article} |
4 \documentclass[11pt,a4paper]{article} |
5 \usepackage{isabelle,isabellesym} |
5 \usepackage{isabelle,isabellesym} |
6 \usepackage[english]{babel} |
6 \usepackage[english]{babel} |
7 \usepackage{textcomp} |
|
7 \usepackage{pdfsetup} |
8 \usepackage{pdfsetup} |
8 |
9 |
9 \urlstyle{rm} |
10 \urlstyle{rm} |
10 \isabellestyle{it} |
11 \isabellestyle{it} |
11 |
12 |