Merge branch 'master' of github.com:mathink/Cat_on_Coq
Mon(idal)(adic)
Defined: Enriched Category
now proving...
prove naturality of associativity
separate file
Merge branch 'monoidal' of bitbucket.org:mathink/coc-develop into monoidal
MonoidObj
fix prove
now proving
Monad is Monoid Object in the Category of Endo Functor
update README
Monad
Merge branch 'monoidal'

Conflicts:
	Makefile
	README.md
	_CoqProject
	src/Base/Functor.v
	src/Monad/KTMonad.v
	src/Monad/Kleisli.v
	src/Monad/Monad.v
Update Documentes