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