path: root/doc/macros.tex

% macros for coq.tex

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