From 3bd823a4d795ecd8929b55d4e4a698b411a97ab9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 7 Jul 2007 11:34:18 +0000 Subject: [PATCH] inclusion of div_and_mod --- helm/software/matita/library/assembly/assembly.ma | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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. -- 2.39.2