X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FBTM.html;fp=helm%2Fwww%2Flambda_delta%2FBTM.html;h=0000000000000000000000000000000000000000;hb=207a37632296335aa8db7b22482f91634f74e4e1;hp=d41ec154b3deb2f608717889945bba3c4794a2b3;hpb=691c330235597faab8ad7be34242bc545d4c4023;p=helm.git
diff --git a/helm/www/lambda_delta/BTM.html b/helm/www/lambda_delta/BTM.html
deleted file mode 100644
index d41ec154b..000000000
--- a/helm/www/lambda_delta/BTM.html
+++ /dev/null
@@ -1,25 +0,0 @@
-
-
-
-
-
-
-
-
-
- BTM
-
-
-
-
-
- cic:/matita/BTM/
- Character classes
- This table shows how the first 45 positive integers
- are distributed in the four classes.
-
- | class | contents |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| p |
| 1 | 4 | 7 | 10 | 13 | 16 | 19 | 22 | 25 | 28 | 31 | 34 | 37 | 40 | 43 |
| q |
| 5 | 11 | 15 | 17 | 23 | 29 | 33 | 35 | 41 | 45 |
|
|
|
|
|
| s |
| 2 | 6 | 8 | 14 | 18 | 20 | 24 | 26 | 32 | 38 | 42 | 44 |
|
|
|
| t |
| 3 | 9 | 12 | 21 | 27 | 30 | 36 | 39 |
|
|
|
|
|
|
|
Last update: 2012-11-22T16:07:02+01:00
-
-
![[lambda_delta home]](http://lambda-delta.info/images/crux_32.png "lambda_delta home")
![[Spacer]](http://lambda-delta.info/images/rainbow.png "lambda_delta rainbow rule")
![[Generated from XML via XSL]](http://lambda-delta.info/images/xml_xsl2.png "Generated from XML via XSL")
![[PNG used here]](http://lambda-delta.info/images/PNGnow2.png "PNG used here")
![[Viewable with any browser]](http://www.anybrowser.org/campaign/bvgraphics/abtfile.png "Viewable with any browser")