]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 228776c) | patch
- csx_cnx_vector.ma completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 30 Mar 2017 11:30:39 +0000 (11:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 30 Mar 2017 11:30:39 +0000 (11:30 +0000)
commitc3832abc23bb0907df2deb6751f4a46d213675b7
treefe02cb5c5e70985ee6c8b2b901895b16a3ec8405tree | snapshot
parent228776cd21ca563e6dc44bfdf7746e69dc7b66d6commit | diff
- csx_cnx_vector.ma completed
- refactoring
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_etc.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx_vector.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lfpx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_simple_theq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_theq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_theq_vector.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt 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.