Administrative commit restoring the repository to the usual shape.

[helm.git] / weblib / basics / relations.ma

diff --git a/weblib/basics/relations.ma b/weblib/basics/relations.ma
index 3081fa96b05d8d5a3c966372a9b609b243afcf34..34d6fe11cd9b9bae04e91bb48aeddce65f554982 100644 (file)
--- 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).