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

diff --git a/helm/software/lambda-delta/automath/autItem.ml b/helm/software/lambda-delta/automath/autItem.ml
index 0f8b08234..19d4e1af1 100644
--- a/helm/software/lambda-delta/automath/autItem.ml
+++ b/helm/software/lambda-delta/automath/autItem.ml
@@ -20,3 +20,9 @@ let uri s = U.uri_of_string ("ld:" ^ s)
 let imp = uri "/l/imp"
 
 let mp = uri "/l/mp"
+
+let mt = uri "/l/mt"
+
+let con = uri "/l/con"
+
+let not = uri "/l/not"