equal
deleted
inserted
replaced
1 |
1 |
2 \documentclass[12pt,a4paper,fleqn]{article} |
2 \documentclass[12pt,a4paper,fleqn]{article} |
3 \usepackage[T1]{fontenc} |
3 \usepackage[T1]{fontenc} |
4 \usepackage{latexsym,graphicx} |
4 \usepackage{graphicx} |
5 \usepackage{tikz}\usetikzlibrary{shapes}\usetikzlibrary{arrows} |
5 \usepackage{tikz}\usetikzlibrary{shapes}\usetikzlibrary{arrows} |
6 \usepackage{multirow} |
6 \usepackage{multirow} |
7 \usepackage{iman,extra,isar} |
7 \usepackage{iman,extra,isar} |
8 \usepackage{isabelle,isabellesym} |
8 \usepackage{isabelle,isabellesym} |
9 \usepackage{style} |
9 \usepackage{style} |