]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cab35e3) | patch
partial update in static_2
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Mon, 11 Oct 2021 11:51:08 +0000 (13:51 +0200)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Mon, 11 Oct 2021 11:51:08 +0000 (13:51 +0200)
commit8fe4dc148d50a0352313633bea61441bc817afbf
tree68db802dc49d664bd8f48246f03d7c945ceaa552tree | snapshot
parentcab35e3d6c09d266c1372b5cc9a0045578bae79bcommit | diff
partial update in static_2

+ propagating the ground library
+ one addition in ground
matita/matita/contribs/lambdadelta/ground/arith/nat_pred_succ.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/sd_d.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/sd_lt.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/sh_lt.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/sh_nexts.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.