X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Fcommon%2Fnat.ma;h=9188bef9edb808b057ec00d08a563477d98124b9;hb=a62de71cf6821c955bd41fa691c52ea62173f25d;hp=4db935b1e1698e1edc514d2926e5f1e6d1ab3a7a;hpb=38fccc2b774e493a94eedef76342b56079c0e694;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/common/nat.ma b/helm/software/matita/contribs/ng_assembly/common/nat.ma
index 4db935b1e..9188bef9e 100755
--- a/helm/software/matita/contribs/ng_assembly/common/nat.ma
+++ b/helm/software/matita/contribs/ng_assembly/common/nat.ma
@@ -26,15 +26,17 @@ include "num/bool.ma".
 (* NATURALI *)
 (* ******** *)
 
-inductive nat : Type ≝
+ninductive nat : Type ≝
   O : nat
 | S : nat → nat.
 
+(*
 interpretation "Natural numbers" 'N = nat.
 
 default "natural numbers" cic:/matita/common/nat/nat.ind.
 
 alias num (instance 0) = "natural number".
+*)
 
 nlet rec eq_nat (n1,n2:nat) on n1 ≝
  match n1 with