Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
polished
authorChristian Urban <urbanc@in.tum.de>
Thu, 02 Oct 2008 05:18:49 -0400
changeset 16 5045dec52d2b
parent 15 9da9ba2b095b
child 17 8afa1c990a14
polished
CookBook/Parsing.thy file | annotate | diff | comparison | revisions
cookbook.pdf file | annotate | diff | comparison | revisions 
--- 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}
Binary file cookbook.pdf has changed
isabelle-cookbook