equal
deleted
inserted
replaced
3 \usepackage{isabelle} |
3 \usepackage{isabelle} |
4 \usepackage{isabellesym} |
4 \usepackage{isabellesym} |
5 \usepackage{charter} |
5 \usepackage{charter} |
6 \usepackage[pdftex]{graphicx} |
6 \usepackage[pdftex]{graphicx} |
7 \usepackage{proof} |
7 \usepackage{proof} |
|
8 \usepackage{alltt} |
|
9 \usepackage{rail} |
|
10 \usepackage{url} |
8 |
11 |
9 % Cross references to other manuals: |
12 % Cross references to other manuals: |
10 \usepackage{xr} |
13 \usepackage{xr} |
11 \externaldocument[I-]{implementation} |
14 \externaldocument[I-]{implementation} |
12 \newcommand{\impref}[1]{\ref{I-#1}} |
15 \newcommand{\impref}[1]{\ref{I-#1}} |
31 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{} |
34 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{} |
32 |
35 |
33 % for exercises and comments |
36 % for exercises and comments |
34 \newtheorem{exercise}{Exercise}[section] |
37 \newtheorem{exercise}{Exercise}[section] |
35 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}} |
38 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}} |
|
39 |
|
40 % a table environment with proper indentation |
|
41 \newenvironment{mytable}{\begin{trivlist}\item\begin{tabular}{@{\hspace{2ex}}l}}{\end{tabular}\end{trivlist}} |
|
42 |
|
43 \hyphenation{Isabelle} |
36 |
44 |
37 \begin{document} |
45 \begin{document} |
38 |
46 |
39 \title{\mbox{}\\[-10ex] |
47 \title{\mbox{}\\[-10ex] |
40 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
48 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |