X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Fmodels%2Fnat_uniform.ma;h=0b2d4356321fa873044e3db09348b70873535763;hb=b12a46d53cf80d40b253ca5dd495397c5c0b4287;hp=cffccb59e8367e5386fea9ffc5a45914a2ba91cb;hpb=7e33e23e18dc5d008b3b3dc0052aa4d7b236415e;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/models/nat_uniform.ma b/helm/software/matita/contribs/dama/dama/models/nat_uniform.ma
index cffccb59e..0b2d43563 100644
--- a/helm/software/matita/contribs/dama/dama/models/nat_uniform.ma
+++ b/helm/software/matita/contribs/dama/dama/models/nat_uniform.ma
@@ -19,4 +19,4 @@ definition nat_uniform_space: uniform_space.
 apply (discrete_uniform_space_of_bishop_set ℕ);
 qed.
 
-interpretation "Uniform space N" 'nat = nat_uniform_space.
\ No newline at end of file
+interpretation "Uniform space N" 'N = nat_uniform_space.
\ No newline at end of file