X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=c77b7053caca1267687ecd61e80afd284711d801;hb=e5077c96c584933ad1467e8066780b46d7b0468c;hp=4736b1932f95d0958279ddbe5bb29a9b9dd36d43;hpb=add1600e1ceef0f1c7e07a4d13c60edd7a3ea367;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 4736b1932..c77b7053c 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-03-09T23:27:52+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: Mon, 03 Jun 2013 16:24:28 +0200