From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 23 Sep 2010 22:35:46 +0000 (+0000)
Subject: fix typo
X-Git-Tag: make_still_working~2827
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=164e0005e806f5c995817cd0a494429ebac508d9;p=helm.git

fix typo
---

diff --git a/helm/software/matita/nlibrary/arithmetics/minimization.ma b/helm/software/matita/nlibrary/arithmetics/minimization.ma
index cb6eef689..42767f66c 100644
--- a/helm/software/matita/nlibrary/arithmetics/minimization.ma
+++ b/helm/software/matita/nlibrary/arithmetics/minimization.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "arithmetics/natsa.ma".
+include "arithmetics/nat.ma".
       
 nlet rec max i f ≝
   match i with 
@@ -235,4 +235,4 @@ ntheorem le_min_aux_r : ∀f:nat → bool.
   ∀off,n:nat. min_aux off n f ≤ n+off.
 #f; #off; nelim off; //;
 #n; #Hind; #a; nelim (min_aux_S f n a); *; /2/;
-nqed.
\ No newline at end of file
+nqed.