From 748ac691802b4e4e714cdf290e3066f2d501a69f Mon Sep 17 00:00:00 2001
From: mohring
Date: Sun, 21 Dec 2003 16:55:14 +0000
Subject: mise a jour Cases

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8436 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RefMan.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/RefMan.txt')

diff --git a/doc/RefMan.txt b/doc/RefMan.txt
index 44422c792e..446ad12848 100644
--- a/doc/RefMan.txt
+++ b/doc/RefMan.txt
@@ -13,7 +13,7 @@ MANUEL DE REFERENCE
 \include{RefMan-gal.v}% Gallina					BB
 \include{RefMan-ext.v}% Gallina extensions			HH -fait
 \include{RefMan-lib.v}% The coq library				BB
-\include{RefMan-cic.v}% The Calculus of Constructions		CP
+\include{RefMan-cic.v}% The Calculus of Constructions		CP -fait
 
 \include{RefMan-modr}% The module system			Jacek
 
@@ -39,7 +39,7 @@ MANUEL DE REFERENCE
 
 \include{AddRefMan-pre}%					CP
 
-\include{Cases.v}%						CP
+\include{Cases.v}%						CP -fait
 \include{Coercion.v}%						HH -fait
 %%SUPPRIME \include{Natural.v}%
 \include{Omega.v}%						JCF - fait
-- 
cgit v1.2.3