bir georganization, most of the structures done

[helm.git] / helm / software / matita / dama / constructive_connectives.ma

diff --git a/helm/software/matita/dama/constructive_connectives.ma b/helm/software/matita/dama/constructive_connectives.ma
index 2cf0d8d58b8d7ba389d10c67421fa2be0b785008..0a840d5a51837289f5f32337c2efbbdd3c0128cb 100644 (file)
--- a/helm/software/matita/dama/constructive_connectives.ma
+++ b/helm/software/matita/dama/constructive_connectives.ma
@@ -43,4 +43,4 @@ alias id "False" = "cic:/matita/logic/connectives/False.ind#xpointer(1/1)".
 definition Not ≝ λx:Type.x → False.
 
 interpretation "constructive not" 'not x = 
-  (cic:/matita/constructive_connectives/Not.con x).
\ No newline at end of file
+  (cic:/matita/constructive_connectives/Not.con x).