X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Funiform.ma;h=41b593ae4a25832cc073a98c0702235f1c39be84;hb=c3b8ed2e554cbdb677729747c5b5a96112ae5169;hp=d5d71472688632790a6545620ab6caca33398fb5;hpb=7e9bcf66cf96265ea78b3de6dc95ff3c9b75f83d;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/uniform.ma b/helm/software/matita/contribs/dama/dama/uniform.ma
index d5d714726..41b593ae4 100644
--- a/helm/software/matita/contribs/dama/dama/uniform.ma
+++ b/helm/software/matita/contribs/dama/dama/uniform.ma
@@ -139,5 +139,3 @@ interpretation "explicit big set" 'explicitset t =
 definition restrict_uniformity ≝
   λC:uniform_space.λX:C→Prop.
    {U:C square → Prop| (U ⊆ {x:C square|X (fst x) ∧ X(snd x)}) ∧ us_unifbase C U}.
-
-