equal
deleted
inserted
replaced
7 \usepackage[nohyphen,strings]{../underscore} |
7 \usepackage[nohyphen,strings]{../underscore} |
8 \usepackage{Thy/document/isabelle,Thy/document/isabellesym} |
8 \usepackage{Thy/document/isabelle,Thy/document/isabellesym} |
9 \usepackage{../ttbox,,../rail,../railsetup} |
9 \usepackage{../ttbox,,../rail,../railsetup} |
10 \usepackage{style} |
10 \usepackage{style} |
11 \usepackage{../pdfsetup} |
11 \usepackage{../pdfsetup} |
|
12 \definecolor{linkcolor}{rgb}{0,0,0} |
12 |
13 |
13 \hyphenation{Isabelle} |
14 \hyphenation{Isabelle} |
14 \hyphenation{Isar} |
15 \hyphenation{Isar} |
15 |
16 |
16 \isadroptag{theory} |
17 \isadroptag{theory} |