SHOW-MATING-STATS : WFFOP

SHOW-MATING-STATS is a wff operation.
Display statistics for the active mating and totals for all
matings in this expansion proof.
 
The calling scheme for SHOW-MATING-STATS is:

(SHOW-MATING-STATS)


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage