changeset 3229 | cb3c27f2753e |
parent 3226 | 04618aca579d |
child 3498 | 807549666b9c |
--- 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}