projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18d7afd) | patch
- cpxs_tsts_vector completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Mar 2017 14:22:00 +0000 (14:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 14 Mar 2017 14:22:00 +0000 (14:22 +0000)
commit1ddb3f36f9230e326df60e6db7ef2624a9c16930
tree0857c485a187cf7c1fdad558e68e7ef568329e6btree | snapshot
parent18d7afd216aee6c815eac30982d8ad4fa4521070commit | diff
- cpxs_tsts_vector completed
- refactoring in etc
14 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc/cpx/cpx_lreq.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpx_lreq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/fpb/fpb_lift.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpb_lift.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbq/fpbq_lift.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpbq_lift.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/tsts/tsts.etc [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts_vector.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_simple_vector.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_vector.ma [deleted file] 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.