dev/ocamlweb-doc/macros.tex


1
2
3
4
5
6
7


% macros for coq.tex

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

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