X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2FBTM.html;h=234fdbbcebb36d954c0ad0a4f80a75cd33dfc682;hb=d21e43252fea9aa0351824525014a2471b7bd232;hp=3531e1491115ab98c48514a57803b93e690c9dd0;hpb=e8ed2cbff6d25964309a3d3e63568feecb70a666;p=helm.git diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 3531e1491..234fdbbce 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 | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|