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=82019a3bea72f3bd633da5d1c1e78ad4fc8557be;hb=1b82038aa813e24e84959526e83dd35d849b51f2;hp=f1f4b8415f630b74c3763474a46a65c3ef0cec43;hpb=a5c71699f1d0cf63a769c71dd8b8cd5dfff1933d;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 f1f4b8415..82019a3be 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 @@ -7,7 +7,7 @@ head = "cic:/matita/lambdadelta/basic_2/ (core λδ version 2)" > -