X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2_blk.tbl;h=8c4ee482733d1d38ac99250a069898dde70cf848;hb=1d7c90aaa2a5d5dadb3bca87d56bf717efab4361;hp=01a4d1c2a23a0787b55fe769a4d4620fe5434efb;hpb=70e6a24c9505c950714f138506f3eedb293084c5;p=helm.git

diff --git a/helm/www/lambda_delta/web/home/basic_2_blk.tbl b/helm/www/lambda_delta/web/home/basic_2_blk.tbl
index 01a4d1c2a..8c4ee4827 100644
--- a/helm/www/lambda_delta/web/home/basic_2_blk.tbl
+++ b/helm/www/lambda_delta/web/home/basic_2_blk.tbl
@@ -17,7 +17,7 @@ table {
 	 [ "no" ] [ "no" ] [ "no" ] [ "$p" ]
       ]
       class "prune" [
-         [ "native type annotation *" ] [ "Γ ⊢ ⓣW" ]
+         [ "native type annotation *" ] [ "Γ ⊢ ⓝW" ]
 	 [ "no" ] [ "no" ] [ "yes" ] [ "no" ]
       ]
    } ]