1.1 --- a/doc-src/Ref/ref.ind	Mon May 03 18:35:48 1999 +0200
     1.2 +++ b/doc-src/Ref/ref.ind	Mon May 03 19:03:35 1999 +0200
     1.3 @@ -13,6 +13,7 @@
     1.4    \item {\tt\at Finset} constant, 94, 95
     1.5    \item {\tt [} symbol, 71
     1.6    \item {\tt [|} symbol, 71
     1.7 +  \item {\tt \$ISABELLE_HOME}, 3
     1.8    \item {\tt ]} symbol, 71
     1.9    \item {\tt _K} constant, 96, 98
    1.10    \item \verb'{}' symbol, 94
    1.11 @@ -207,7 +208,7 @@
    1.12    \item {\tt defer_tac}, \bold{24}
    1.13    \item definitions, \see{rewriting, meta-level}{1}, 24, \bold{58}
    1.14      \subitem unfolding, 9, 10
    1.15 -  \item {\tt del_path}, \bold{59}
    1.16 +  \item {\tt del_path}, \bold{60}
    1.17    \item {\tt Delcongs}, \bold{107}
    1.18    \item {\tt delcongs}, \bold{112}
    1.19    \item {\tt deleqcongs}, \bold{112}