matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt

   1                 D I
   2 sort            * *
   3 lref ldef       * *
   4 lref ldec       * *
   5 lref lref       * *
   6 lref ldef drops * *
   7 lref ldec drops * *
   8 gref              *
   9 bind            * *
  10 appl appl       * *
  11 appl beta       *
  12 appl pure       *
  13 cast new        * *
  14 cast old        * *
  15 conv            *