update in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / dynamic / notes.txt

diff --git a/matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt b/matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt
index f4fa2049e65bb253cc02062bf6cb438a9c346747..8334213294ef06fbf7de375ec653b078d408e5fc 100644 (file)
--- 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       *