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{tikz}\usetikzlibrary{shapes}\usetikzlibrary{arrows} |
4 \usepackage{multirow} |
5 \usepackage{multirow} |
5 \usepackage{iman,extra,isar} |
6 \usepackage{iman,extra,isar} |
6 \usepackage{isabelle,isabellesym} |
7 \usepackage{isabelle,isabellesym} |
7 \usepackage{style} |
8 \usepackage{style} |
8 \usepackage{pdfsetup} |
9 \usepackage{pdfsetup} |