]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01b17de) | patch
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 29 Jan 2022 22:39:01 +0000 (23:39 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 29 Jan 2022 22:39:01 +0000 (23:39 +0100)
commite5788b40c4a910069d1514b42c384f0e8b57050a
tree59745e581ebf388f2923cf1e3ffa070400798e1ctree | snapshot
parent01b17de504f0049c15eadcdad651a19adaa954f7commit | diff
update in ground

+ additions to tr_compose
matita/matita/contribs/lambdadelta/ground/lib/stream_hdtl_eq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/lib/stream_tls_eq.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_compose_eq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_pap_eq.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_pn_eq.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.