Added makefile, based on Adam Chipala's website.
Added Base and Equiv modules.
Added Order module
Added Complex module
Fixed some mistakes, added comments.
Added more modules.
Added AbelianGroup module.
Added Scalar module.
Added Field module.
Minor changes.
Minor changes.
Removed Equiv module.