]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e120a2) | patch
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 29 May 2021 08:40:29 +0000 (10:40 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 29 May 2021 08:40:29 +0000 (10:40 +0200)
commit0bcf2dc1a27e38cb6cd3d44eb838d652926841e0
treebe74c16d5a72f33d4e50fbf42032109fd62a6e6atree | snapshot
parent7e120a2bf2e6c0882b4f4b376c5861e001945cf4commit | diff
update in ground

+ some renaming
15 files changed:
matita/matita/contribs/lambdadelta/ground/arith/nat_minus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/nat_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/nat_pred.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/pnat_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/ynat_lminus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/arith/ynat_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ism_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/counters/rtc_ist_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_ist_isi.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_nat_uni.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_nat_uni_tls.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_uni.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground/relocation/gr_after_pat_uni_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.