X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=c73cf012e3acec55641afab144c754524ac59df1;hb=0e0e006b0bbb19b39c9a069efb8326a861021bb3;hp=ddada37fbe680800eda0dcdd9c54319a326f3773;hpb=7f885dcfbce72106781ce41a7d957b7602096396;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index ddada37fb..c73cf012e 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-28T19:07:27+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: Fri, 23 May 2014 19:32:07 +0200