updated Prelude.hs to use new, simpler defineModuleFromFileWithFns function
updated Prelude.hs to use new, simpler defineModuleFromFileWithFns function

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