From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Jul 2009 19:27:32 +0000 (+0000)
Subject: Old code commented out.
X-Git-Tag: make_still_working~3663
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9f67f3dfb57bfd93716d1fa9e18a179911a7bf33;p=helm.git

Old code commented out.
---

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