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 bind            * *
   9 appl appl       * *
  10 appl beta       *
  11 appl pure       *
  12 cast new        * *
  13 cast old        * *
  14 conv            *