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