aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/macros.tex
blob: 6beacf7b0b1af8d2507716e20a06489c0e9a64c4 (plain)
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}}}