| changeset 50426 | d2c60ada3ece |
| parent 48985 | 5386df44a037 |
| child 73401 | 8b464825d2b5 |
| 50425:79858bd9f5ef | 50426:d2c60ada3ece |
|---|---|
1 \documentclass[12pt,a4paper,fleqn]{article} |
1 \documentclass[12pt,a4paper,fleqn]{article} |
2 \usepackage{latexsym,graphicx} |
2 \usepackage{latexsym,graphicx} |
3 \usepackage{iman,extra,isar,proof} |
3 \usepackage{iman,extra,isar} |
4 \usepackage{isabelle,isabellesym} |
4 \usepackage{isabelle,isabellesym} |
5 \usepackage{style} |
5 \usepackage{style} |
6 \usepackage{pdfsetup} |
6 \usepackage{pdfsetup} |
7 |
7 |
8 |
8 |