unipoly
fix
delete: native
delete NCOC* and fix bug in _CoqProject (and Yoneda.v)
Delete NCOC_*
Merge branches 'univ' and 'univ' of github.com:mathink/Cat_on_Coq into univ

Conflicts:
	Makefile
Rewrite and Introduce New Notations (for vertical and horizontal composition) in Natrans.v
Merge pull request #1 from mathink/univ

Univ