From 9069cd0c459079103131cd6f805c8669f7ae8a0e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 10 Apr 2003 21:58:50 +0000
Subject: Open Scope remplace Import

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3912 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Arith/Even.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theories/Arith/Even.v b/theories/Arith/Even.v
index 8b3c7b563b..88ad1851bc 100644
--- a/theories/Arith/Even.v
+++ b/theories/Arith/Even.v
@@ -13,6 +13,7 @@
     The main results about parity are proved in the module Div2. *)
 
 V7only [Import nat_scope.].
+Open Local Scope nat_scope.
 
 Implicit Variables Type m,n:nat.
 
-- 
cgit v1.2.3