X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fformal_topology%2Fbasic_pairs_to_basic_topologies.ma;h=b44a42a86eaca7df52fafc86047b4f86813d0c1f;hb=74223db3fc45caccb3cfac80971b29cb0613da28;hp=c236dc6a8658906e306af316ac25e9b6759b6dbd;hpb=c8718cc46ab9aaca047366dfefe72bc7c9402e5a;p=helm.git

diff --git a/matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma b/matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma
index c236dc6a8..b44a42a86 100644
--- a/matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma
+++ b/matita/matita/lib/formal_topology/basic_pairs_to_basic_topologies.ma
@@ -16,7 +16,7 @@ include "formal_topology/basic_pairs_to_o-basic_pairs.ma".
 include "formal_topology/o-basic_pairs_to_o-basic_topologies.ma".
 include "formal_topology/basic_pairs.ma".
 include "formal_topology/basic_topologies.ma".
-
+(*
 definition basic_topology_of_basic_pair: basic_pair → basic_topology.
  intro bp;
  letin obt ≝ (OR (BP_to_OBP bp));
@@ -61,4 +61,5 @@ qed.
 
 lemma BBBB_faithful : failthful2 ?? VVV
 FIXME
-*)
\ No newline at end of file
+*)
+*)