FNedit_search_term <ml>:termbool

FN{Replace lastpred terms  }
Replacement Term: <term>

lastpred Eq

EditMatch pat|pat *RECURSE* *ANY* [string]:* explode

doc for edit match doc for term search IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html