]> matita.cs.unibo.it Git - helm.git/commit
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Oct 2019 16:35:57 +0000 (18:35 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Oct 2019 16:35:57 +0000 (18:35 +0200)
commit48bd1f41417fb167a100eb1613a64a711484b69a
tree9ec2ebd3ac1859331863563af824b9a92b107c48
parente3369ffc8b690703cfafc7985f69db5fc140d749
update in basic_2

+ new definition of cpce
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce.ma
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_lpce.ma
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce.ma
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_drops.ma
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/lpce_drops.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_8.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml