X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=45920eb7d30d2973164e70fedc6d8173ab2f47ea;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=5fa8a698199cd7d4de6f0ccd94d8fcd5531a40f2;hpb=282936907bd9b37d9de37f14e0e497db16f5d8b0;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml
index 5fa8a6981..45920eb7d 100644
--- a/helm/www/lambdadelta/web/home/osn.ldw.xml
+++ b/helm/www/lambdadelta/web/home/osn.ldw.xml
@@ -28,16 +28,16 @@
as well as the support for canonicalization.
Apparently, these features fall outside the scope of OSN,
which targets the data structures of .
-
-
+
-
+