--- a/doc-src/IsarRef/pure.tex Wed Jan 05 11:56:04 2000 +0100
+++ b/doc-src/IsarRef/pure.tex Wed Jan 05 11:57:47 2000 +0100
@@ -447,11 +447,11 @@
\indexisarcmd{sect}\indexisarcmd{subsect}\indexisarcmd{subsubsect}
\indexisarcmd{txt}\indexisarcmd{txt-raw}
\begin{matharray}{rcl}
- \isarcmd{sect} & : & \isartrans{proof(state)}{proof(state)} \\
- \isarcmd{subsect} & : & \isartrans{proof(state)}{proof(state)} \\
- \isarcmd{subsubsect} & : & \isartrans{proof(state)}{proof(state)} \\
- \isarcmd{txt} & : & \isartrans{proof(state)}{proof(state)} \\
- \isarcmd{txt_raw} & : & \isartrans{proof(state)}{proof(state)} \\
+ \isarcmd{sect} & : & \isartrans{proof}{proof} \\
+ \isarcmd{subsect} & : & \isartrans{proof}{proof} \\
+ \isarcmd{subsubsect} & : & \isartrans{proof}{proof} \\
+ \isarcmd{txt} & : & \isartrans{proof}{proof} \\
+ \isarcmd{txt_raw} & : & \isartrans{proof}{proof} \\
\end{matharray}
These markup commands for proof mode closely correspond to the ones of theory