X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=1b5ab68bd4e587295815169b0a933364c70760a7;hb=6c985e4e2e7846a2b9abd0c84569f21c24e9ce2f;hp=855b0ba114f11149d82cc0af45cb3e462166d46b;hpb=7cdb8e166b4f74dc6ddd39c7ca332e618b2bd960;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 855b0ba11..1b5ab68bd 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -1,25 +1,228 @@ - + - - - - - + + + + + BTM - - - - + + + + -
[lambdadelta home]
cic:/matita/BTM/
[Spacer]
-
Character classes
-
This table shows how the first 45 positive integers + +
+ + [lambdadelta home] + +
+
cic:/matita/BTM/
+
+ [Spacer] +
+
Character classes
+
This table shows how the first 45 positive integers are distributed in the four classes.
-
classcontents














p
147101316192225283134374043
q
5111517232933354145




s
268141820242632384244


t
39122127303639






+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
classcontents +
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+
p +
+ 		147101316192225283134374043
q +
+ 		5111517232933354145 +
+ 		+
+ 		+
+ 		+
+ 		+
+
s +
+ 		268141820242632384244 +
+ 		+
+ 		+
+
t +
+ 		39122127303639 +
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+ 		+
+
+
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2013-02-22T22:53:45+01:00
+
+ [Spacer] +
+
+
+
+
+ + [Valid XHTML 1.1] + + + [Valid CSS level 2] + + + [Generated from XML via XSL] + + + [PNG used here] + + + [Viewable with any browser] + +
+
+
+
+
Last update: Sun, 14 Sep 2014 23:26:35 +0200