X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fweb%2Fbasic_2.ldw.xml;h=f596851ee8c5cce47a430c4e98fd8d8c55d4fb5d;hb=dec157aae89a4c1830f18eeb0b4152c8c5162ca7;hp=5ebf0e0b30bbdec21a6d84c2837ec3ba3394ea06;hpb=9ffbf46176fb5f81768255992e46e69689663d69;p=helm.git
diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
index 5ebf0e0b3..f596851ee 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
@@ -50,7 +50,7 @@
Mutual recursive preservation of stratified native validity
- for hyper computation on closures.
+ for "big tree" computation on closures.
Confluence for context-free parallel reduction on closures.