auto update
authorpaulson
Wed Jul 23 11:49:20 1997 +0200 (1997-07-23)
changeset 35625380acac8c83
parent 3561 329441e7eeee
child 3563 c4f13747489f
auto update
doc-src/Ref/ref.ind
     1.1 --- a/doc-src/Ref/ref.ind	Wed Jul 23 11:48:59 1997 +0200
     1.2 +++ b/doc-src/Ref/ref.ind	Wed Jul 23 11:49:20 1997 +0200
     1.3 @@ -424,7 +424,7 @@
     1.4    \item {\tt parse_ast_translation}, 91
     1.5    \item {\tt parse_rules}, 86
     1.6    \item {\tt parse_translation}, 91
     1.7 -  \item {\tt pause_tac}, \bold{26}
     1.8 +  \item {\tt pause_tac}, \bold{25}
     1.9    \item Poly/{\ML} compiler, 5
    1.10    \item {\tt pop_proof}, \bold{14}
    1.11    \item {\tt pr}, \bold{10}
    1.12 @@ -621,7 +621,6 @@
    1.13    \item {\tt stamps_of_thy}, \bold{56}
    1.14    \item {\tt standard}, \bold{39}
    1.15    \item starting up, \bold{1}
    1.16 -  \item {\tt STATE}, \bold{25}
    1.17    \item {\tt Step_tac}, \bold{128}
    1.18    \item {\tt step_tac}, 123, \bold{127}
    1.19    \item {\tt store_thm}, \bold{8}