DYNAMICALLY-MONITOR-REWRITES
dynamically monitor rewrites and other prover activity
Major Section:
OTHER
See
dmr
for the current new ordering function for ACL2 ordinals.