RESET-FC-REPORTING

reset the forward-chaining tracking state to its initial configuration
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.