]> matita.cs.unibo.it Git - helm.git/commitdiff
....
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Sep 2008 13:37:51 +0000 (13:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Sep 2008 13:37:51 +0000 (13:37 +0000)
helm/software/matita/library/formal_topology/concrete_spaces.ma

index 0fc4d365b6398e30ef77a266f8e85acab96513fe..9885a6673332141ff42762e8a824e411f0cd1961 100644 (file)
@@ -66,7 +66,7 @@ qed.
 
 interpretation "fintersectsS" 'fintersects U V = (fintersectsS _ U V).
 
-
+(*
 definition relS: ∀o: basic_pair. concr o → Ω \sup (form o) → CProp.
  
 
@@ -146,4 +146,4 @@ definition CSPA: category.
 
      |
      ]
-  |*)
\ No newline at end of file
+  |*)