# HG changeset patch
# User wenzelm
# Date 864118088 -7200
# Node ID cb3c27f2753eb83a261b997649edeb478de75459
# Parent  41ad2d5077be90db36e6e45810810ef76b301390
SYNC;

diff -r 41ad2d5077be -r cb3c27f2753e doc-src/Ref/ref.ind
--- a/doc-src/Ref/ref.ind	Tue May 20 10:47:56 1997 +0200
+++ b/doc-src/Ref/ref.ind	Tue May 20 10:48:08 1997 +0200
@@ -383,6 +383,7 @@
   \item mixfix declarations, 50, 69--74
   \item {\tt mk_case_split_tac}, \bold{116}
   \item {\tt ML} section, 51, 91, 93
+  \item model checkers, 75
   \item {\tt mp} theorem, \bold{129}
   \item {\tt mp_tac}, \bold{128}
   \item {\tt MRL}, \bold{37}