X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=7f46bd1ef5c5131e78f474ab94b943fc53986aea;hb=f7d7f2459b3b0409be5f168822be3b836ccc929b;hp=21925537541dc339c43ea1ebbfbf54bc38563f86;hpb=7562d9781dc4f351ddc3b2f8edd21f4976621948;p=helm.git
diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 219255375..7f46bd1ef 100644
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -23,11 +23,11 @@
This table shows how the first 45 positive integers
+
Character classes
+
This table shows how the first 45 positive integers
are distributed in the four classes.
-
+
-
-
+
@@ -223,6 +222,6 @@
-
Last update: Tue, 04 Nov 2014 16:28:52 +0100
-