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