Delete NTCCcoq.pdf
updating branch
Merge branch 'fixFunctions' of https://github.com/mcanog/ntccForm into fixFunctions