path: root/dev/doc/macros.tex

% macros for coq.tex

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

\newcommand{\refsec}[1]{\textbf{\ref{#1}}}