X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautItem.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautItem.ml;h=dae038cce9d66ea01fa93fde423e5e18ac28d1d1;hb=d38cea7e4865091412e1414f5594dd7c124de47e;hp=cda1d1c279162685a23ad52378bf978956cfeebb;hpb=52bc8021b8be8fec9c3ae65d6b42c0d92d9c3c74;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autItem.ml b/helm/software/lambda-delta/automath/autItem.ml
index cda1d1c27..dae038cce 100644
--- a/helm/software/lambda-delta/automath/autItem.ml
+++ b/helm/software/lambda-delta/automath/autItem.ml
@@ -28,3 +28,7 @@ let all = uri "/l/all"
 let alle = uri "/l/alle"
 
 let alli = uri "/l/alli"
+
+let non = uri "/l/non"
+
+let lppc0 = uri "/l/lppc0"