equal
deleted
inserted
replaced
2 \documentclass[12pt,a4paper,fleqn]{article} |
2 \documentclass[12pt,a4paper,fleqn]{article} |
3 \usepackage{latexsym,graphicx} |
3 \usepackage{latexsym,graphicx} |
4 \usepackage[refpage]{nomencl} |
4 \usepackage[refpage]{nomencl} |
5 \usepackage{multirow} |
5 \usepackage{multirow} |
6 \usepackage{../iman,../extra,../isar,../proof} |
6 \usepackage{../iman,../extra,../isar,../proof} |
7 \usepackage{../isabelle,../isabellesym} |
7 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} |
8 \usepackage{style} |
8 \usepackage{style} |
9 \usepackage{../pdfsetup} |
9 \usepackage{../pdfsetup} |
10 |
10 |
11 \hyphenation{Isabelle} |
11 \hyphenation{Isabelle} |
12 \hyphenation{Isar} |
12 \hyphenation{Isar} |