we started the support for the coercions "alle" and "alli"

[helm.git] / helm / software / lambda-delta / automath / autItem.ml

diff --git a/helm/software/lambda-delta/automath/autItem.ml b/helm/software/lambda-delta/automath/autItem.ml
index 19d4e1af14641d0479504ef1844fb61b79fa2c1d..cda1d1c279162685a23ad52378bf978956cfeebb 100644 (file)
--- a/helm/software/lambda-delta/automath/autItem.ml
+++ b/helm/software/lambda-delta/automath/autItem.ml
@@ -23,6 +23,8 @@ 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"