X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fperformance.txt;h=5d674bd66962679e9d31196a72400e02399fcf01;hb=32f2a8f8016b2c6c7fb88189fc0ea0c7f9336555;hp=01009680e6f7d8d4da352ed123e9e4c32f3b518d;hpb=828a190748fe67669df59d8813d32e17a3bbfd7a;p=helm.git

diff --git a/helm/software/lambda-delta/performance.txt b/helm/software/lambda-delta/performance.txt
index 01009680e..5d674bd66 100644
--- a/helm/software/lambda-delta/performance.txt
+++ b/helm/software/lambda-delta/performance.txt
@@ -4,7 +4,3 @@ untrusted   : 0.4
 trusted     : 6.5  + 3 with upsilon relocations 
 ------------------
 total       : 9.2
-
- 107123  alpha conversions  (107021 without si)
- 298902  proper conversions
-