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{supertabular} |
11 \usepackage{supertabular} |
|
12 \let\intorig=\int %iman.sty redefines \int |
12 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup} |
13 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup} |
13 |
14 |
14 \isabellestyle{it} |
15 \isabellestyle{it} |
15 |
16 |
16 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual} |
17 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual} |
37 \include{present} |
38 \include{present} |
38 \include{misc} |
39 \include{misc} |
39 \include{fonts} |
40 \include{fonts} |
40 |
41 |
41 \appendix |
42 \appendix |
|
43 \let\int\intorig |
42 \include{symbols} |
44 \include{symbols} |
43 |
45 |
44 \begingroup |
46 \begingroup |
45 \bibliographystyle{plain} \small\raggedright\frenchspacing |
47 \bibliographystyle{plain} \small\raggedright\frenchspacing |
46 \bibliography{../manual} |
48 \bibliography{../manual} |