X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautItem.ml;h=dae038cce9d66ea01fa93fde423e5e18ac28d1d1;hb=11e495dda047bcdfa4267c06cad2d074fcffe3e3;hp=19d4e1af14641d0479504ef1844fb61b79fa2c1d;hpb=4924ddb52a836eea45a593a7f4faccca64bac9e7;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autItem.ml b/helm/software/lambda-delta/automath/autItem.ml
index 19d4e1af1..dae038cce 100644
--- a/helm/software/lambda-delta/automath/autItem.ml
+++ b/helm/software/lambda-delta/automath/autItem.ml
@@ -23,6 +23,12 @@ let mp = uri "/l/mp"
 
 let mt = uri "/l/mt"
 
-let con = uri "/l/con"
+let all = uri "/l/all"
 
-let not = uri "/l/not"
+let alle = uri "/l/alle"
+
+let alli = uri "/l/alli"
+
+let non = uri "/l/non"
+
+let lppc0 = uri "/l/lppc0"