X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=c77b7053caca1267687ecd61e80afd284711d801;hb=e5077c96c584933ad1467e8066780b46d7b0468c;hp=500f575d78d0cc9f788052ff540bcb851537e2c2;hpb=cb063199a8fa9d492fec1df64ddcad4503f0c9ee;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 500f575d7..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-02-07T20:53:29+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