X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Fbasics%2Frelations.ma;h=34d6fe11cd9b9bae04e91bb48aeddce65f554982;hb=2979a29642a4b0b16834ec69177813a6c6051e7e;hp=3081fa96b05d8d5a3c966372a9b609b243afcf34;hpb=8baa4aabe6cc848c6a3ecd7a08e1bab9edc8bee1;p=helm.git

diff --git a/weblib/basics/relations.ma b/weblib/basics/relations.ma
index 3081fa96b..34d6fe11c 100644
--- a/weblib/basics/relations.ma
+++ b/weblib/basics/relations.ma
@@ -102,4 +102,4 @@ notation " f \eqF g " non associative with precedence 45
 for @{'eqF ? ? f g}.
 
 interpretation "functional extentional equality" 
-'eqF A B f g = (exteqF A B f g).
\ No newline at end of file
+'eqF A B f g = (exteqF A B f g).