changed the automated tactics for proving refinement to use the hints database
changed the automated tactics for proving refinement to use the hints database

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