WATERFALL-PRINTING
for ACL2(p): configuring the printing within the parallelized waterfall
Major Section:
PARALLEL-PROOF
See
set-waterfall-printing
.
