equal
deleted
inserted
replaced
5 %% |
5 %% |
6 |
6 |
7 \documentclass[10pt,a4paper]{article} |
7 \documentclass[10pt,a4paper]{article} |
8 \usepackage{isabelle,isabellesym,pdfsetup} |
8 \usepackage{isabelle,isabellesym,pdfsetup} |
9 |
9 |
10 %packages for unusual symbols according to 'isatool latex -o syms' |
10 %packages for unusual symbols according to 'isabelle latex -o syms' |
11 \usepackage[latin1]{inputenc} |
11 \usepackage[latin1]{inputenc} |
12 \usepackage{amssymb} |
12 \usepackage{amssymb} |
13 \usepackage{textcomp} |
13 \usepackage{textcomp} |
14 |
14 |
15 \pagestyle{myheadings} |
15 \pagestyle{myheadings} |