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

1 files changed, 0 insertions, 4 deletions

diff --git a/doc/refman/Program.tex b/doc/refman/Program.tex
index 3580684a73..dfcebf1860 100644
--- a/doc/refman/Program.tex
+++ b/doc/refman/Program.tex
@@ -1,7 +1,3 @@
-\def\Program{\textsc{Program}}
-\def\Russell{\textsc{Russell}}
-\def\PVS{\textsc{PVS}}
-
 \achapter{\Program{}}
 \label{Program}
 \aauthor{Matthieu Sozeau}