--- a/doc-src/IsarImplementation/Thy/document/Tactic.tex Mon Feb 16 20:47:44 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/document/Tactic.tex Mon Feb 16 20:49:39 2009 +0100
@@ -1,17 +1,16 @@
%
\begin{isabellebody}%
-\def\isabellecontext{tactic}%
+\def\isabellecontext{Tactic}%
%
\isadelimtheory
-\isanewline
-\isanewline
-\isanewline
%
\endisadelimtheory
%
\isatagtheory
\isacommand{theory}\isamarkupfalse%
-\ tactic\ \isakeyword{imports}\ base\ \isakeyword{begin}%
+\ Tactic\isanewline
+\isakeyword{imports}\ Base\isanewline
+\isakeyword{begin}%
\endisatagtheory
{\isafoldtheory}%
%
@@ -504,7 +503,6 @@
%
\endisadelimtheory
\isanewline
-\isanewline
\end{isabellebody}%
%%% Local Variables:
%%% mode: latex