fix
Merge branch 'master' of https://github.com/mathink/Cat_on_Coq

3f4f9221d670133a0e0a91913841.