--- a/CookBook/document/root.tex	Fri Oct 10 17:11:46 2008 +0200
+++ b/CookBook/document/root.tex	Fri Oct 10 17:12:30 2008 +0200
@@ -5,6 +5,9 @@
 \usepackage{charter}
 \usepackage[pdftex]{graphicx}
 \usepackage{proof}
+\usepackage{alltt}
+\usepackage{rail}
+\usepackage{url}
 
 % Cross references to other manuals:
 \usepackage{xr}
@@ -34,6 +37,11 @@
 \newtheorem{exercise}{Exercise}[section]
 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}}
 
+% a table environment with proper indentation
+\newenvironment{mytable}{\begin{trivlist}\item\begin{tabular}{@{\hspace{2ex}}l}}{\end{tabular}\end{trivlist}}
+
+\hyphenation{Isabelle}
+
 \begin{document}
 
 \title{\mbox{}\\[-10ex]