X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=e2a0831ee7c4da81e1e6786922baebb5291b6616;hb=d48d412796a295256c048256c8f7a843e3406980;hp=203ec11639b40bba7248285be1dbad20bf30413c;hpb=8913001064f595c21ed4234884e7c370be2afb52;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 203ec1163..e2a0831ee 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -23,7 +23,7 @@
class | -contents | -+ | class | +contents | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
p | -
- - |
- 1 | -4 | -7 | -10 | -13 | -16 | -19 | -22 | -25 | -28 | -31 | -34 | -37 | -40 | -43 | +p | +
+ + |
+ 1 | +4 | +7 | +10 | +13 | +16 | +19 | +22 | +25 | +28 | +31 | +34 | +37 | +40 | +43 |
q | -+ | q | +
|
- 5 | -11 | -15 | -17 | -23 | -29 | -33 | -35 | -41 | -45 | -+ | 5 | +11 | +15 | +17 | +23 | +29 | +33 | +35 | +41 | +45 | +
|
- + |
|
- + |
|
- + |
|
- + |
|
s | -+ | s | +
|
- 2 | -6 | -8 | -14 | -18 | -20 | -24 | -26 | -32 | -38 | -42 | -44 | -+ | 2 | +6 | +8 | +14 | +18 | +20 | +24 | +26 | +32 | +38 | +42 | +44 | +
|
- + |
|
- + |
|
t | -+ | t | +
|
- 3 | -9 | -12 | -21 | -27 | -30 | -36 | -39 | -+ | 3 | +9 | +12 | +21 | +27 | +30 | +36 | +39 | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|