X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fdynamic%2Fnotes.txt;h=8334213294ef06fbf7de375ec653b078d408e5fc;hb=de3a41b9a4e51dc1b09adce800273adf5ffa1215;hp=f4fa2049e65bb253cc02062bf6cb438a9c346747;hpb=c27d792e734c91a9b80cf8456e2c755aae24e994;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt b/matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt
index f4fa2049e..833421329 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt
+++ b/matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt
@@ -1,10 +1,11 @@
                 D I 
 sort            * *
-lref ldef       *
-lref ldec       *
-lref lref       *
-lref ldef drops *
-lref ldec drops *
+lref ldef       * *
+lref ldec       * *
+lref lref       * *
+lref ldef drops * *
+lref ldec drops * *
+gref              *
 bind            * *
 appl appl       * *
 appl beta       *