equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{article} |
1 \documentclass[12pt,a4paper]{article} |
|
2 |
|
3 \oddsidemargin=4.6mm |
|
4 \evensidemargin=4.6mm |
|
5 \textwidth=150mm |
|
6 \topmargin=4.6mm |
|
7 \headheight=0mm |
|
8 \headsep=0mm |
|
9 \textheight=234mm |
|
10 |
2 \usepackage{isabelle,isabellesym} |
11 \usepackage{isabelle,isabellesym} |
3 |
12 |
4 % further packages required for unusual symbols (see also |
13 % further packages required for unusual symbols (see also |
5 % isabellesym.sty), use only when needed |
14 % isabellesym.sty), use only when needed |
6 |
15 |