From d3e40e0e67be7c7e43684af3d6206f4389ea0173 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Sun, 14 Sep 2008 18:30:08 +0000
Subject: A pass on documentation: - Don't use [Eq] and [eq] in the typeclasses
 documentation, as advised by Assia. - Explain the importance of
 [Transparent/Opaque] for typeclasses and [setoid_rewrite]. - Fix and rework
 doc on [dependent induction]. - A word on [Global] instance.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11410 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/common/macros.tex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/common')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index ef632371df..69f9b2f410 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -98,6 +98,9 @@
 \newcommand{\pCIC}{p\textsc{Cic}}
 \newcommand{\iCIC}{\textsc{Cic}}
 \newcommand{\FW}{\ensuremath{F_{\omega}}}
+\newcommand{\Program}{\textsc{Program}}
+\newcommand{\Russell}{\textsc{Russell}}
+\newcommand{\PVS}{\textsc{PVS}}
 %\newcommand{\bn}{{\sf BNF}}
 
 %%%%%%%%%%%%%%%%%%%
-- 
cgit v1.2.3