Removed functions auto-generated by Coq.

Remember that this code was dumped by Coq. The functions I deleted,
if you look at the implementations, are just stupid accessors. Just use
the accessors.
Merge pull request #4 from arjunguha/master

Removed functions auto-generated by Coq.