]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3666080) | patch
update in ground
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 16 Mar 2022 21:32:37 +0000 (22:32 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 16 Mar 2022 21:32:37 +0000 (22:32 +0100)
commit7cb9cdbd64e1abbedf3c6af5638c42e3da3f5cea
tree45e371b7b3eeadf724db63628bb54e0811490287tree | snapshot
parent36660809dcfb90bea480c84997cfb40f347e0f0ccommit | diff
update in ground

+ some additions
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift/fsubst_lift.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift/lift_depth.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift/lift_preterm_eq.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift/lift_structure.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift/lift_structure_depth.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/delayed_updating/etc/lift/lift_update.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/tr_uni_compose.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/tr_uni_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.