new kernel basic_rg: implements ufficial lambda-delta with de Bruijn indexes

[helm.git] / helm / software / lambda-delta / basic_ag / bag.ml

diff --git a/helm/software/lambda-delta/basic_ag/bag.ml b/helm/software/lambda-delta/basic_ag/bag.ml
index 624b47cbb38e1106f78725524126cf2bbc73e793..b04fc5ab6aa84edc4be107a60cb8dca852f0e7ab 100644 (file)
--- a/helm/software/lambda-delta/basic_ag/bag.ml
+++ b/helm/software/lambda-delta/basic_ag/bag.ml
@@ -9,6 +9,9 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+(* kernel version: basic, absolute, global *)
+(* note          : experimental *) 
+
 type uri = NUri.uri
 type id = Aut.id