]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/performance.txt
basic_rg: bugfix in AST to allow attributes in global entries
[helm.git] / helm / software / lambda-delta / performance.txt
index 01009680e6f7d8d4da352ed123e9e4c32f3b518d..5d674bd66962679e9d31196a72400e02399fcf01 100644 (file)
@@ -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
-