diff -r 35e1dff0d9bb -r b11653b11bd3 CookBook/document/root.tex
--- a/CookBook/document/root.tex	Fri Oct 17 17:41:34 2008 -0400
+++ b/CookBook/document/root.tex	Mon Oct 20 06:22:11 2008 +0000
@@ -23,7 +23,7 @@
 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text
 \renewcommand{\isastyleminor}{\tt\slshape}%
 \renewcommand{\isastyle}{\small\tt\slshape}%
-%%\isadroptag{theory}
+\isadroptag{theory}
 
 % sane default for proof documents
 \parindent 0pt\parskip 0.6ex