update in static_2 and basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / dynamic / partial.txt

diff --git a/matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt b/matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt
deleted file mode 100644 (file)
index f492361..0000000
--- a/matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-cnv.ma cnv_drops.ma cnv_fqus.ma cnv_aaa.ma cnv_fsb.ma
-cnv_preserve_far.ma cnv_cpm_trans.ma cnv_cpm_conf.ma
-lsubv.ma lsubv_drops.ma lsubv_lsubr.ma lsubv_lsuba.ma lsubv_cpms.ma lsubv_cpcs.ma lsubv_cnv.ma lsubv_lsubv.ma