Merge pull request #1 from aa755/master

Update CSumsReals.v
Remoing obsolete tactic
fixed some errors cause by Windows importing wrong files because
of case insensitivity.