Typo in help for EQT_INTRO #135
Description
In EQT_INTRO.hlp, it erroneously names the inference rule EQF_INTRO instead of EQT_INTRO on line 14.
{{ message }}
In EQT_INTRO.hlp, it erroneously names the inference rule EQF_INTRO instead of EQT_INTRO on line 14.