More inline comments about how the bitvector induction command works.
More inline comments about how the bitvector induction command works.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script