equal
deleted
inserted
replaced
3 |
3 |
4 \documentclass[12pt,a4paper,fleqn]{report} |
4 \documentclass[12pt,a4paper,fleqn]{report} |
5 \usepackage{latexsym,graphicx} |
5 \usepackage{latexsym,graphicx} |
6 \usepackage[refpage]{nomencl} |
6 \usepackage[refpage]{nomencl} |
7 \usepackage{../iman,../extra,../isar,../proof} |
7 \usepackage{../iman,../extra,../isar,../proof} |
8 \usepackage[nohyphen,strings]{underscore} |
8 \usepackage[nohyphen,strings]{../underscore} |
9 \usepackage{Thy/document/isabelle,Thy/document/isabellesym} |
9 \usepackage{Thy/document/isabelle,Thy/document/isabellesym} |
10 \usepackage{style} |
10 \usepackage{style} |
11 \usepackage{../pdfsetup} |
11 \usepackage{../pdfsetup} |
12 |
12 |
13 |
13 |