equal
deleted
inserted
replaced
2 % HOLCF/document/root.tex |
2 % HOLCF/document/root.tex |
3 |
3 |
4 \documentclass[11pt,a4paper]{article} |
4 \documentclass[11pt,a4paper]{article} |
5 \usepackage{graphicx,isabelle,isabellesym,latexsym} |
5 \usepackage{graphicx,isabelle,isabellesym,latexsym} |
6 \usepackage[only,bigsqcap]{stmaryrd} |
6 \usepackage[only,bigsqcap]{stmaryrd} |
7 \usepackage[latin1]{inputenc} |
7 \usepackage{textcomp} |
8 \usepackage{pdfsetup} |
8 \usepackage{pdfsetup} |
9 |
9 |
10 \urlstyle{rm} |
10 \urlstyle{rm} |
11 \isabellestyle{it} |
11 \isabellestyle{it} |
12 \pagestyle{myheadings} |
12 \pagestyle{myheadings} |