X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fosn.html;h=41fe2ee6423cf0d29c9d092687c3b2e3532f2736;hb=282936907bd9b37d9de37f14e0e497db16f5d8b0;hp=db920807379c51a17cb8b2444329ddfe967670c8;hpb=7c3dc0455368fe74858226ab6cf3c19f68d0e2a7;p=helm.git
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index db9208073..41fe2ee64 100644
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -48,8 +48,8 @@
Apparently, these features fall outside the scope of OSN,
which targets the data structures of formal languages.
+
-