changeset 69676 | 56acd449da41 |
parent 69608 | 2b3a247889f8 |
child 71060 | 295609359b58 |
69675:880ab0f27ddf | 69676:56acd449da41 |
---|---|
1 \documentclass[11pt,a4paper]{article} |
1 \documentclass[11pt,a4paper]{book} |
2 \usepackage{graphicx} |
2 \usepackage{graphicx} |
3 \usepackage{isabelle} |
3 \usepackage{isabelle} |
4 \usepackage{isabellesym} |
4 \usepackage{isabellesym} |
5 \usepackage{latexsym} |
5 \usepackage{latexsym} |
6 \usepackage{textcomp} |
6 \usepackage{textcomp} |