milestone uupdate 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
deleted file mode 100644 (file)
index 8334213..0000000
--- a/matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-                D I 
-sort            * *
-lref ldef       * *
-lref ldec       * *
-lref lref       * *
-lref ldef drops * *
-lref ldec drops * *
-gref              *
-bind            * *
-appl appl       * *
-appl beta       *
-appl pure       *
-cast new        * *
-cast old        * *
-conv            *