equal
deleted
inserted
replaced
1 \documentclass[12pt,a4paper,fleqn]{report} |
1 \documentclass[12pt,a4paper,fleqn]{report} |
|
2 \usepackage[T1]{fontenc} |
|
3 \usepackage{ae} |
2 \usepackage{latexsym,graphicx} |
4 \usepackage{latexsym,graphicx} |
3 \usepackage[refpage]{nomencl} |
5 \usepackage[refpage]{nomencl} |
4 \usepackage{iman,extra,isar,proof} |
6 \usepackage{iman,extra,isar,proof} |
5 \usepackage[nohyphen,strings]{underscore} |
7 \usepackage[nohyphen,strings]{underscore} |
6 \usepackage{isabelle} |
8 \usepackage{isabelle} |