X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Findex.html;h=ea9e12c41b1c4997e1f9c1f0d95f54a2817f7efc;hb=b4b18a8f2c3f33fe49edef3bc8068332edf299e2;hp=b3e330c9fe9867b7b1618e0c1ca59bd1f30bab08;hpb=503426723b9fc786c69dc988d38726997ecb809a;p=helm.git diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index b3e330c9f..ea9e12c41 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -186,7 +186,7 @@
Disclaimer [spacer]
- The systens of the λδ family are not related intentionally to + The systems of the λδ family are not related intentionally to any other system having (variations of) the symbols λ and δ in its name or syntax. Examples include (but are not limited to):
@@ -252,7 +252,7 @@
[Smiling face] - Moreover, the systens of the λδ family are not related intentionally to + Moreover, the systems of the λδ family are not related intentionally to Lady Lambdadelta, the Witch of Certainty of the sound novel Umineko no Naku Koro ni. @@ -283,6 +283,6 @@

-
Last update: Tue, 31 May 2016 21:18:47 +0200
+
Last update: Wed, 01 Jun 2016 16:28:47 +0200