X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=e2a0831ee7c4da81e1e6786922baebb5291b6616;hb=d48d412796a295256c048256c8f7a843e3406980;hp=c13092e5c99ff382378e19767a48aa139d5201b4;hpb=655f1c2cf15daa261f90906614ac7af40ab1b657;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index c13092e5c..e2a0831ee 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-08T14:45:26+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: Sat, 04 Oct 2014 22:58:58 +0200