| changeset 73401 | 8b464825d2b5 |
| parent 59005 | 1c54ebc68394 |
| child 73404 | 299f6a8faccc |
| 73400:e488f4bb1c79 | 73401:8b464825d2b5 |
|---|---|
1 |
1 |
2 \documentclass[a4paper,fleqn]{article} |
2 \documentclass[a4paper,fleqn]{article} |
3 |
3 |
4 \usepackage{latexsym,graphicx} |
4 \usepackage{graphicx} |
5 \usepackage[refpage]{nomencl} |
5 \usepackage[refpage]{nomencl} |
6 \usepackage{iman,extra,isar} |
6 \usepackage{iman,extra,isar} |
7 \usepackage{isabelle,isabellesym} |
7 \usepackage{isabelle,isabellesym} |
8 \usepackage{style} |
8 \usepackage{style} |
9 \usepackage{mathpartir} |
9 \usepackage{mathpartir} |