]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da709ff) | patch
- bug fix in the connection between global and restricted big-tree
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Oct 2013 17:47:20 +0000 (17:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Oct 2013 17:47:20 +0000 (17:47 +0000)
commitb3c3ea1c87cbd7a87c8c29a276fc16f9ebbfb5bd
tree13b4e2f69f52b9fafd9b490441b270e0a9ee23dbtree | snapshot
parentda709ff53af3903d9c5dd8ba016948548a8550efcommit | diff
- bug fix in the connection between global and restricted big-tree
proper computation
- one file was not committed :(
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbg.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbr_fpbr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.