<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
diff -r 978a3c2ed7ce -r cd861a121f60 cookbook.tex
--- a/cookbook.tex	Fri Sep 05 09:47:51 2008 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,77 +0,0 @@
-\documentclass[11pt,a4paper]{article}
-\usepackage{amsmath,amsthm}
-\usepackage{CookBook/generated/isabelle,CookBook/generated/isabellesym}
-
-
-% Cross references to other manuals:
-\usepackage{xr}
-\externaldocument[I-]{implementation}
-\newcommand{\impref}[1]{\ref{I-#1}}
-\newcommand{\ichcite}[1]{[Impl.\,Man., ch.~\impref{#1}]}
-\newcommand{\isccite}[1]{[Impl.\,Man., sec.~\impref{#1}]}
-
-
-% further packages required for unusual symbols (see also
-% isabellesym.sty), use only when needed
-
-%\usepackage{amssymb}
-  %for \&lt;leadsto&gt;, \&lt;box&gt;, \&lt;diamond&gt;, \&lt;sqsupset&gt;, \&lt;mho&gt;, \&lt;Join&gt;,
-  %\&lt;lhd&gt;, \&lt;lesssim&gt;, \&lt;greatersim&gt;, \&lt;lessapprox&gt;, \&lt;greaterapprox&gt;,
-  %\&lt;triangleq&gt;, \&lt;yen&gt;, \&lt;lozenge&gt;
-
-%\usepackage[greek,english]{babel}
-  %option greek for \&lt;euro&gt;
-  %option english (default language) for \&lt;guillemotleft&gt;, \&lt;guillemotright&gt;
-
-%\usepackage[latin1]{inputenc}
-  %for \&lt;onesuperior&gt;, \&lt;onequarter&gt;, \&lt;twosuperior&gt;, \&lt;onehalf&gt;,
-  %\&lt;threesuperior&gt;, \&lt;threequarters&gt;, \&lt;degree&gt;
-
-%\usepackage[only,bigsqcap]{stmaryrd}
-  %for \&lt;Sqinter&gt;
-
-%\usepackage{eufrak}
-  %for \&lt;AA&gt; ... \&lt;ZZ&gt;, \&lt;aa&gt; ... \&lt;zz&gt; (also included in amssymb)
-
-%\usepackage{textcomp}
-  %for \&lt;cent&gt;, \&lt;currency&gt;
-
-% this should be the last package used
-\usepackage{pdfsetup}
-
-\urlstyle{rm}
-\renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text
-\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}
-\maketitle
-
-\tableofcontents
-
-% sane default for proof documents
-\parindent 0pt\parskip 0.5ex
-
-% generated text of all theories
-\input{CookBook/generated/CookBook}
-\newpage\section{Recipes}
-\input{CookBook/generated/NamedThms}
-
-\newpage
-\bibliographystyle{abbrv}
-\bibliography{manual,cookbook}
-
-\end{document}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:




</pre></body></html>