]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80ecd54) | patch
update in ground
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 28 Jan 2022 22:24:01 +0000 (23:24 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 28 Jan 2022 22:24:01 +0000 (23:24 +0100)
commit01b17de504f0049c15eadcdad651a19adaa954f7
treec63fa6edf7c044ff8901e9e11381820deba45f32tree | snapshot
parent80ecd5486c6013f6c297173f41432fd1d93814efcommit | diff
update in ground

+ additions to tr_compose
matita/matita/contribs/lambdadelta/ground/arith/nat_rplus_pplus.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/lib/stream_tls_plus.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_compose.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_etc.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_pap.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_pn.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_tls.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_tls.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.