update in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / etc / missing.txt

diff --git a/matita/matita/contribs/lambdadelta/basic_2/etc/missing.txt b/matita/matita/contribs/lambdadelta/basic_2/etc/missing.txt
new file mode 100644 (file)
index 0000000..00d31a9
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/basic_2/etc/missing.txt
@@ -0,0 +1,7 @@
+ty3_gen_cvoid
+ty3_acyclic
+ty3_gen_appl_nf2
+ty3_nf2_inv_all (and following)
+pc3_dec
+pc3_abst_dec
+ty3_inference