equal
deleted
inserted
replaced
7 \usepackage[english]{babel} |
7 \usepackage[english]{babel} |
8 \usepackage[latin1]{inputenc} |
8 \usepackage[latin1]{inputenc} |
9 \usepackage[only,bigsqcap]{stmaryrd} |
9 \usepackage[only,bigsqcap]{stmaryrd} |
10 \usepackage{wasysym} |
10 \usepackage{wasysym} |
11 \usepackage{eufrak} |
11 \usepackage{eufrak} |
|
12 \usepackage{textcomp} |
|
13 \usepackage{marvosym} |
12 \usepackage{supertabular} |
14 \usepackage{supertabular} |
13 \let\intorig=\int %iman.sty redefines \int |
15 \let\intorig=\int %iman.sty redefines \int |
14 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup} |
16 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup} |
15 |
17 |
16 \isabellestyle{it} |
18 \isabellestyle{it} |