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

cnv.ma cnv_drops.ma cnv_fqus.ma cnv_aaa.ma cnv_fsb.ma
cnv_etc.ma cnv_cpm_trans.ma
lsubv.ma lsubv_drops.ma lsubv_lsubr.ma lsubv_lsuba.ma lsubv_cpms.ma lsubv_cpcs.ma lsubv_cnv.ma