X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fformal_topology%2Foverlap%2Fbasic_pairs_to_o-basic_pairs.ma;h=65709f4650c13c3941af2ebde7f700a24935f8d3;hb=c88511384a331d5583fb665f3f08c731c7ebe036;hp=3e2fe8f354ee116ad0e851d568893eaa14182b2a;hpb=82b1a205fdf9bc2c8029296ebe94c5667798845b;p=helm.git

diff --git a/helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma b/helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
index 3e2fe8f35..65709f465 100644
--- a/helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
+++ b/helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_o-basic_pairs.ma
@@ -16,7 +16,6 @@ include "basic_pairs.ma".
 include "o-basic_pairs.ma".
 include "relations_to_o-algebra.ma".
 
-(* Qui, per fare le cose per bene, ci serve la nozione di funtore categorico *)
 definition o_basic_pair_of_basic_pair: basic_pair → Obasic_pair.
  intro b;
  constructor 1;