]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3369ff) | patch
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
tree9ec2ebd3ac1859331863563af824b9a92b107c48tree | snapshot
parente3369ffc8b690703cfafc7985f69db5fc140d749commit | diff
update in basic_2

+ new definition of cpce
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_lpce.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/lpce_drops.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_8.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_8.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.