% macros for coq.tex

\newcommand{\Coq}{\textsf{Coq}}
\newcommand{\CCI}{Calculus of Inductive Constructions}