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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7632da8) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 24 Apr 2017 15:07:30 +0000 (15:07 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 24 Apr 2017 15:07:30 +0000 (15:07 +0000)
commit	73966e3e9fd17155ca67e6b4a32f52225cea9d3c
tree	5c091304e08e91ec6304020af4e2e05f52c882a4	tree \| snapshot
parent	7632da8aa4f6751e351546be3d90fb23f634108c	commit \| diff

some improvements before setting up the exclusion binder

19 files changed:

matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabst_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxbind1_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxbind2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxitem_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxvoid_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snitem_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/bind.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/bind_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_restricted_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/item.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/term_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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