From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 7 Jul 2007 11:34:18 +0000 (+0000)
Subject: inclusion of div_and_mod
X-Git-Tag: make_still_working~6213
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3bd823a4d795ecd8929b55d4e4a698b411a97ab9;p=helm.git

inclusion of div_and_mod
---

diff --git a/helm/software/matita/library/assembly/assembly.ma b/helm/software/matita/library/assembly/assembly.ma
index 3497de4e3..35455f9dc 100644
--- a/helm/software/matita/library/assembly/assembly.ma
+++ b/helm/software/matita/library/assembly/assembly.ma
@@ -14,7 +14,7 @@
 
 set "baseuri" "cic:/matita/assembly/".
 
-include "nat/div_and_mod_new.ma".
+include "nat/div_and_mod.ma".
 (*include "nat/compare.ma".*)
 include "list/list.ma".
 
@@ -466,4 +466,4 @@ lemma goo: True.
  reduce in i4;
  
  exact I.
-qed.
\ No newline at end of file
+qed.