# HG changeset patch
# User wenzelm
# Date 972423153 -7200
# Node ID e47c221beded0b7ba89c7cf4b87496ad5cbf8c07
# Parent  3205fe2f4ef5274e81ac1a477375452e635e29de
tuned;

diff -r 3205fe2f4ef5 -r e47c221beded doc-src/IsarRef/generic.tex
--- 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]