# HG changeset patch
# User paulson
# Date 869651360 -7200
# Node ID 5380acac8c8331b5e29c65cdd9da45dcc73f8788
# Parent  329441e7eeee208b913b1e4174fee35498567932
auto update

diff -r 329441e7eeee -r 5380acac8c83 doc-src/Ref/ref.ind
--- a/doc-src/Ref/ref.ind	Wed Jul 23 11:48:59 1997 +0200
+++ b/doc-src/Ref/ref.ind	Wed Jul 23 11:49:20 1997 +0200
@@ -424,7 +424,7 @@
   \item {\tt parse_ast_translation}, 91
   \item {\tt parse_rules}, 86
   \item {\tt parse_translation}, 91
-  \item {\tt pause_tac}, \bold{26}
+  \item {\tt pause_tac}, \bold{25}
   \item Poly/{\ML} compiler, 5
   \item {\tt pop_proof}, \bold{14}
   \item {\tt pr}, \bold{10}
@@ -621,7 +621,6 @@
   \item {\tt stamps_of_thy}, \bold{56}
   \item {\tt standard}, \bold{39}
   \item starting up, \bold{1}
-  \item {\tt STATE}, \bold{25}
   \item {\tt Step_tac}, \bold{128}
   \item {\tt step_tac}, 123, \bold{127}
   \item {\tt store_thm}, \bold{8}