equal
deleted
inserted
replaced
6 \usepackage{latexsym} |
6 \usepackage{latexsym} |
7 \usepackage{graphicx} |
7 \usepackage{graphicx} |
8 \let\intorig=\int %iman.sty redefines \int |
8 \let\intorig=\int %iman.sty redefines \int |
9 \usepackage{../iman,../extra,../isar,../proof} |
9 \usepackage{../iman,../extra,../isar,../proof} |
10 \usepackage[nohyphen,strings]{../underscore} |
10 \usepackage[nohyphen,strings]{../underscore} |
11 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} |
11 \usepackage{../../lib/texinputs/isabelle} |
12 \usepackage{../ttbox,,../rail,../railsetup} |
12 \usepackage{../../lib/texinputs/isabellesym} |
|
13 \usepackage{../../lib/texinputs/railsetup} |
|
14 \usepackage{../ttbox} |
13 \usepackage{supertabular} |
15 \usepackage{supertabular} |
14 \usepackage{style} |
16 \usepackage{style} |
15 \usepackage{../pdfsetup} |
17 \usepackage{../pdfsetup} |
16 |
18 |
17 \hyphenation{Isabelle} |
19 \hyphenation{Isabelle} |