-ng implemented

[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 0f8b082348f9a99c95b8e60de546246810f44260..dae038cce9d66ea01fa93fde423e5e18ac28d1d1 100644 (file)
--- a/helm/software/lambda-delta/automath/autItem.ml
+++ b/helm/software/lambda-delta/automath/autItem.ml
@@ -20,3 +20,15 @@ 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 all = uri "/l/all"
+
+let alle = uri "/l/alle"
+
+let alli = uri "/l/alli"
+
+let non = uri "/l/non"
+
+let lppc0 = uri "/l/lppc0"