X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=2756b021e17f39a01fae285bec1758ff2af58864;hb=72e835f5e6848c09faf6343fb7e276c88bfc1f2e;hp=c5fa3d35eb1f5fe7fe62e78448cba47f85bb6cf6;hpb=296f79ae045db68312a245e4111afb554561de42;p=helm.git
diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index c5fa3d35e..2756b021e 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: Thu, 09 Oct 2014 20:11:23 +0200
-