Small changes in example
Removing html files here, as they are now on:
https://github.com/c-corn/c-corn.github.com
Adding .aux .native
Update CSumsReals.v

fixed a minor typo
Merge pull request #1 from aa755/master

Update CSumsReals.v
Remoing obsolete tactic