matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Mon, 18 Oct 2021 19:04:56 +0000 (21:04 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Mon, 18 Oct 2021 19:04:56 +0000 (21:04 +0200)
commit	156d974ad89aa04a086fdf9d332c8b04adf279fd
tree	18431eea77a5eaa20b309bb6a13662a26ab01d26	tree \| snapshot
parent	8fe4dc148d50a0352313633bea61441bc817afbf	commit \| diff

partial update in static_2

+ ground library propagated in static/syntax
+ additions in ground

21 files changed:

matita/matita/contribs/lambdadelta/ground/arith/pnat_lt_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/arith/wf1_ind_plt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground/web/ground_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/append_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/bind_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/cl_restricted_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/fold.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/genv_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/genv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lenv_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lenv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teq_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_weight.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom