]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt
--- /dev/null
+ D I
+sort * *
+lref ldef *
+lref ldec *
+lref lref *
+lref ldef drops *
+lref ldec drops *
+bind * *
+appl appl * *
+appl beta *
+appl pure *
+cast new * *
+cast old * *
+conv *