Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-21 22:54:06 -0700 (Wed, 21 May 2003)
Revision: 4621
Log message:
Added support for "conditional MustComplete" to intro resource. I used it
to make a few rules as MustComplete when the goal is an equality term,
but freely usable in autoT when the goal is a membership term.