# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1222939129 14400
# Node ID 5045dec52d2b7d5b4aaabd178f03d6eec2c39959
# Parent  9da9ba2b095bc566176a1e8d947539fee1a90d3e
polished

diff -r 9da9ba2b095b -r 5045dec52d2b CookBook/Parsing.thy
--- a/CookBook/Parsing.thy	Thu Oct 02 04:48:41 2008 -0400
+++ b/CookBook/Parsing.thy	Thu Oct 02 05:18:49 2008 -0400
@@ -635,7 +635,7 @@
   \texttt{TRYALL} (try all subgoals, failure is OK),
   \texttt{FIRSTGOAL} (try subgoals until it succeeds once), 
   \texttt{(fn tacf => tacf 4)} (subgoal 4), etc
-  (see the \texttt{Tactical} structure, \cite[Chapter 4]{ref}).
+  (see the \texttt{Tactical} structure, FIXME) %%\cite[Chapter 4]{ref}).
 
   A method is stored in a theory as indicated by:
   \begin{verbatim}
diff -r 9da9ba2b095b -r 5045dec52d2b cookbook.pdf
Binary file cookbook.pdf has changed