]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1de84a8) | patch
cpx_tsts completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 13 Mar 2017 19:29:33 +0000 (19:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 13 Mar 2017 19:29:33 +0000 (19:29 +0000)
commit18d7afd216aee6c815eac30982d8ad4fa4521070
tree893db3d95a9813c0fd378df598426408c1389ec0tree | snapshot
parent1de84a809c842fbc8a4e0d92b9bc61763c0e6faecommit | diff
cpx_tsts completed
12 files changed:
matita/matita/contribs/lambdadelta/basic_2/etc/cpxs/cpxs.etc diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc/lfpxs/lfpxs_cpxs.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/tsts/tsts.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cnx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lsubr.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_cnx.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/partial.txt diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_vector.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
matita/matita/contribs/lambdadelta/partial_compile.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.