X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FBTM.html;h=a0fba18eecf9a9081ed7ba77070d4e124235c6b1;hb=e0d40dccaeadf0ebd924504e635228c9b8f33350;hp=a08104cb2a30aff06e87f2017bb24e971988d541;hpb=1a009d2d2ca666befca9d3d18fa3cbc462c36963;p=helm.git diff --git a/helm/www/lambda_delta/BTM.html b/helm/www/lambda_delta/BTM.html index a08104cb2..a0fba18ee 100644 --- a/helm/www/lambda_delta/BTM.html +++ b/helm/www/lambda_delta/BTM.html @@ -18,8 +18,8 @@
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 |