FC-REPORT

to report on the forward chaining activity in the most recent proof 
Major Section:  FORWARD-CHAINING-REPORTS


Example: (fc-report 15)

General Form: (fc-report k)
where k is the number of some forward chaining report printed in the most recent event.

See forward-chaining-reports for details.