]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a145b5d) | patch
- first results on cpx (dericed from those on cpg)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 May 2016 20:21:35 +0000 (20:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 21 May 2016 20:21:35 +0000 (20:21 +0000)
commit7e80b8d7a4b2c38729512dee28b3e0ecf9595c2a
treef144880a8fa624ca15254d87461fe101705c6595tree | snapshot
parenta145b5df4a86b3d5f8516a9c1cb76a62f6327151commit | diff
- first results on cpx (dericed from those on cpg)
- minor bugs fixed
20 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_cix.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_drops.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_length.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc_new/cpx/cpx_sta.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/names.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_4.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_lsubr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_cix.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_drops.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lift.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lsubr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_simple.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.