SAWScript 'prove' command: Handle logical negation of function terms.
SAWScript 'prove' command: Handle logical negation of function terms.

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