X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fexamples%2Fexp_math%2FL.hln;h=4b84f65fd8fa0bd88b22e2ca48e7df2229b46f9a;hb=34a5ef53f3ad2771cb45f90a2da6713bccdf3608;hp=55b96e6c9c101add79f483f38b3eafc5d41e75de;hpb=55d6dde568f1daf1fa6902428bda7caec147375a;p=helm.git

diff --git a/helm/software/lambda-delta/examples/exp_math/L.hln b/helm/software/lambda-delta/examples/exp_math/L.hln
index 55b96e6c9..4b84f65fd 100644
--- a/helm/software/lambda-delta/examples/exp_math/L.hln
+++ b/helm/software/lambda-delta/examples/exp_math/L.hln
@@ -2,7 +2,7 @@
 
 \* Intuitionistic Predicate Logic with Equality *\
 
-\open elements \* [1] 2.1. 2.2. *\
+\open elements \* [1] 2.1. 2.2. 3.1 *\
 
    \decl "logical false" False: *Prop