X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=2756b021e17f39a01fae285bec1758ff2af58864;hb=85ba2f09d81f44b8c75505cc470f1fc5c431b9f2;hp=f9948a2245523fe765874441692a8b0985bdc108;hpb=1f1eb9d91faf1e905d44b5f44943b2db8472cc74;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index f9948a224..2756b021e 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -23,11 +23,11 @@
[Spacer]
-
Character classes
-
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.
-
+
@@ -196,8 +196,7 @@
- -
+
[Spacer]
@@ -223,6 +222,6 @@

-
Last update: Tue, 14 Oct 2014 00:04:55 +0200
- +
Last update: Thu, 10 Dec 2015 16:13:46 +0100
+