DYNAMICALLY-MONITOR-REWRITES

dynamically monitor rewrites and other prover activity
Major Section:  OTHER

See dmr for the current new ordering function for ACL2 ordinals.