From 241dd3fc882e24a1d3a386a9c612aa8fc720abdb 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 --- matita/library/assembly/assembly.ma | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/matita/library/assembly/assembly.ma b/matita/library/assembly/assembly.ma index 3497de4e3..35455f9dc 100644 --- a/matita/library/assembly/assembly.ma +++ b/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