X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fosn.ldw.xml;h=45920eb7d30d2973164e70fedc6d8173ab2f47ea;hb=150f931929c8333dbcfff8dbe77fb2e177f44c56;hp=54589fe2071932044b92738c4b3562c81b1f7215;hpb=7c3dc0455368fe74858226ab6cf3c19f68d0e2a7;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/osn.ldw.xml b/helm/www/lambdadelta/web/home/osn.ldw.xml
index 54589fe20..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 .
-
-
+
-
+