X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdama%2Fnat_ordered_set.ma;h=a6d1ec184759495301b4b6253d4f540338389fea;hb=c5a4db6c1020488d0792cee00dcf395a0ce54735;hp=26e2f0d2953a75ac9e3706babd7ec22a3b4f695d;hpb=6fbeff97e37927fd95b3aee3eb23b4309fc465c4;p=helm.git diff --git a/helm/software/matita/library/dama/nat_ordered_set.ma b/helm/software/matita/library/dama/nat_ordered_set.ma index 26e2f0d29..a6d1ec184 100644 --- a/helm/software/matita/library/dama/nat_ordered_set.ma +++ b/helm/software/matita/library/dama/nat_ordered_set.ma @@ -13,7 +13,7 @@ (**************************************************************************) include "nat/compare.ma". -include "bishop_set.ma". +include "dama/bishop_set.ma". definition nat_excess : nat → nat → CProp ≝ λn,m. m