Major Section: FORWARD-CHAINING-REPORTS
Example: (reset-fc-reporting)
This function erases all forward chaining tracking criteria and sets
the on-the-fly reporting flag to nil.
The next time you set the
criteria (see set-fc-criteria) the short form of reports, in which
only the caller and the fc-report number is printed, will appear in
your proof logs.
See forward-chaining-reports for details.