--- a/doc-src/IsarRef/generic.tex Tue Oct 24 17:35:22 2000 +0200
+++ b/doc-src/IsarRef/generic.tex Tue Oct 24 23:32:33 2000 +0200
@@ -301,14 +301,11 @@
``\texttt{|}'' method combinator (cf.\ \S\ref{sec:syn-meth}).
\end{descr}
-
-\indexisaratt{standard}
-\indexisaratt{elim-format}
-\indexisaratt{no-vars}
-
+\indexisaratt{tagged}\indexisaratt{untagged}
\indexisaratt{THEN}\indexisaratt{COMP}
-\indexisaratt{where}\indexisaratt{tagged}\indexisaratt{untagged}
-\indexisaratt{unfolded}\indexisaratt{folded}\indexisaratt{exported}
+\indexisaratt{where}\indexisaratt{unfolded}\indexisaratt{folded}
+\indexisaratt{standard}\indexisaratt{elim-format}
+\indexisaratt{no-vars}\indexisaratt{exported}
\begin{matharray}{rcl}
tagged & : & \isaratt \\
untagged & : & \isaratt \\[0.5ex]