From: Ferruccio Guidi Date: Thu, 15 Sep 2016 15:32:32 +0000 (+0000) Subject: one file was missing :( X-Git-Tag: make_still_working~538 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f2e989e7710ad99b76dc1b73315c00b8ba8fc40f;p=helm.git one file was missing :( --- 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 d52fc854c..d5f8b0b7f 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 @@ -34,16 +34,17 @@ Stage "A2": "Extending the Applicability Condition" + + Confluence for context-sensitive parallel r-transition on terms. + Grammatical component reconstructed: grammar, relocation, s_transition, s_computation, static (anniversary milestone). - Relocation with reference transforming maps (rtmap). - λδ version 2A2 is started.