--- a/CookBook/document/root.tex	Wed Sep 03 18:29:48 2008 +0200
+++ b/CookBook/document/root.tex	Fri Sep 05 09:47:51 2008 +0200
@@ -1,40 +1,17 @@
-\documentclass[11pt,a4paper]{article}
+\documentclass[11pt,a4paper]{report}
 \usepackage{amsmath,amsthm}
-\usepackage{isabelle,isabellesym}
-
+\usepackage{isabelle}
+\usepackage{isabellesym}
+\usepackage{charter}
+\usepackage[pdftex]{graphicx}
 
 % Cross references to other manuals:
 \usepackage{xr}
-\externaldocument{implementation}
+\externaldocument[I-]{implementation}
 \newcommand{\impref}[1]{\ref{I-#1}}
-
-
-% further packages required for unusual symbols (see also
-% isabellesym.sty), use only when needed
-
-%\usepackage{amssymb}
-  %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
-  %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
-  %\<triangleq>, \<yen>, \<lozenge>
+\newcommand{\ichcite}[1]{[Impl.\,Man., ch.~\impref{#1}]}
+\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]}
 
-%\usepackage[greek,english]{babel}
-  %option greek for \<euro>
-  %option english (default language) for \<guillemotleft>, \<guillemotright>
-
-%\usepackage[latin1]{inputenc}
-  %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
-  %\<threesuperior>, \<threequarters>, \<degree>
-
-%\usepackage[only,bigsqcap]{stmaryrd}
-  %for \<Sqinter>
-
-%\usepackage{eufrak}
-  %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
-
-%\usepackage{textcomp}
-  %for \<cent>, \<currency>
-
-% this should be the last package used
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
@@ -42,14 +19,23 @@
 \renewcommand{\isastyle}{\isastyleminor}% use same formatting for txt and text
 \isadroptag{theory}
 
+\newenvironment{readmore}
+{\makebox[0pt][r]{\fbox{\textbf{Read More}}~~}\it}{}
 
 \newtheorem{exercise}{Exercise}[section]
 
 
 \begin{document}
 
-\title{The Isabelle Programmer's Cookbook (fragment)}
-\author{Alexander Krauss}
+\title{\mbox{}\\[-10ex]
+       \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex]
+       The Isabelle Programmer's Cookbook (fragment)}
+\author{with contributions by:\\[2ex] 
+        \begin{tabular}{l}
+        Alexander Krauss\\ 
+        Jeremy Dawson\\
+        Stefan Berghofer
+        \end{tabular}}
 \maketitle
 
 \tableofcontents
@@ -60,9 +46,9 @@
 % generated text of all theories
 \input{session}
 
-% optional bibliography
-%\bibliographystyle{abbrv}
-%\bibliography{root}
+\newpage
+\bibliographystyle{abbrv}
+\bibliography{manul,cookbook}
 
 \end{document}