| changeset 9644 | 6b0b6b471855 |
| parent 9016 | d61c76716984 |
| child 9677 | 7808a1ed6daa |
| 9643:c94db1a96f4e | 9644:6b0b6b471855 |
|---|---|
1 % pr(latex xsymbols symbols) |
|
1 \documentclass[11pt,a4paper]{report} |
2 \documentclass[11pt,a4paper]{report} |
2 \usepackage{isabelle,isabellesym} |
3 \usepackage{isabelle,isabellesym} |
3 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} |
4 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} |
4 \usepackage{../pdfsetup} %last package! |
5 \usepackage{../pdfsetup} %last package! |
5 |
6 |