X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=21925537541dc339c43ea1ebbfbf54bc38563f86;hb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;hp=b4046110e630dd6eccf94472924cd1a2ad170a0a;hpb=c07e9b0a3e65c28ca4154fec76a54a9a118fa7e1;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index b4046110e..219255375 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 | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|