From 9f67f3dfb57bfd93716d1fa9e18a179911a7bf33 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Jul 2009 19:27:32 +0000
Subject: [PATCH] Old code commented out.

---
 helm/software/matita/nlibrary/topology/igt.ma | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/software/matita/nlibrary/topology/igt.ma b/helm/software/matita/nlibrary/topology/igt.ma
index 3dbdda6f0..df8880733 100644
--- a/helm/software/matita/nlibrary/topology/igt.ma
+++ b/helm/software/matita/nlibrary/topology/igt.ma
@@ -83,6 +83,7 @@ qed.
 
 *)
 
+(************************CSC
 nrecord function_space (A,B: setoid): Type[1] ≝
  { f:1> carr A → carr B}.;
    f_ok: ∀a,a':A. proofs (eq ? a a') → proofs (eq ? (f a) (f a'))
@@ -245,3 +246,4 @@ definition intersection: ∀A. ssubset A ⇒ ssubset A ⇒ ssubset A.
   |
   |
 *)
+*******************)
\ No newline at end of file
-- 
2.39.2