]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic_2/dynamic/
update in basic_2
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / dynamic /
drwxr-xr-x   ..
-rw-r--r-- 7662 cnv.ma
-rw-r--r-- 2772 cnv_aaa.ma
-rw-r--r-- 2085 cnv_cpcs.ma
-rw-r--r-- 3812 cnv_cpes.ma
-rw-r--r-- 2063 cnv_cpes_dec.ma
-rw-r--r-- 28672 cnv_cpm_conf.ma
-rw-r--r-- 10279 cnv_cpm_tdeq.ma
-rw-r--r-- 7636 cnv_cpm_tdeq_conf.ma
-rw-r--r-- 5960 cnv_cpm_tdeq_trans.ma
-rw-r--r-- 8034 cnv_cpm_trans.ma
-rw-r--r-- 1725 cnv_cpme.ma
-rw-r--r-- 10498 cnv_cpms_conf.ma
-rw-r--r-- 3627 cnv_cpms_tdeq.ma
-rw-r--r-- 4107 cnv_cpms_tdeq_conf.ma
-rw-r--r-- 6646 cnv_drops.ma
-rw-r--r-- 3022 cnv_fqus.ma
-rw-r--r-- 1726 cnv_fsb.ma
-rw-r--r-- 3446 cnv_preserve.ma
-rw-r--r-- 4565 cnv_preserve_sub.ma
-rw-r--r-- 5227 lsubv.ma
-rw-r--r-- 1945 lsubv_cnv.ma
-rw-r--r-- 1426 lsubv_cpcs.ma
-rw-r--r-- 1458 lsubv_cpms.ma
-rw-r--r-- 3249 lsubv_drops.ma
-rw-r--r-- 1782 lsubv_lsuba.ma
-rw-r--r-- 1436 lsubv_lsubr.ma
-rw-r--r-- 1668 lsubv_lsubv.ma
-rw-r--r-- 3915 nta.ma
-rw-r--r-- 2625 nta_aaa.ma
-rw-r--r-- 3222 nta_cpcs.ma
-rw-r--r-- 3062 nta_cpms.ma
-rw-r--r-- 4256 nta_drops.ma
-rw-r--r-- 1674 nta_fsb.ma
-rw-r--r-- 7800 nta_ind.ma
-rw-r--r-- 12770 nta_preserve.ma
-rw-r--r-- 2954 nta_preserve_cpcs.ma