]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd93a09) | patch
update in basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Apr 2019 16:47:22 +0000 (18:47 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 8 Apr 2019 16:47:22 +0000 (18:47 +0200)
commitbf2b1df641df98a3b614a8c3d53edee8beb0964a
tree4defdd6546311c6c6c257dea6645784d3413a4cctree | snapshot
parentdd93a0919b67bead0d4f07d49dfc198006edc9aacommit | diff
update in basic_2

+ decidability of cpes
+ some renaming
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpes_dec.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpme.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpme_aaa.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_cpms.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_csx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpes_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.