diff options
Diffstat (limited to 'theories/Arith/EqNat.v')
| -rwxr-xr-x | theories/Arith/EqNat.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/theories/Arith/EqNat.v b/theories/Arith/EqNat.v index c42deebd26..9b1bca7c45 100755 --- a/theories/Arith/EqNat.v +++ b/theories/Arith/EqNat.v @@ -10,7 +10,8 @@ (** Equality on natural numbers *) -Import nat_scope. +V7only [Import nat_scope.]. +Open Local Scope nat_scope. Implicit Variables Type m,n,x,y:nat. |