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: 90dd881) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Feb 2014 13:48:27 +0000 (13:48 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 28 Feb 2014 13:48:27 +0000 (13:48 +0000)
commit	944b1f7b762774a6f8d99a2c2846f865b6788712
tree	25a03b7c2372e95e5e226ef4fddae7bcb2a4cc27	tree \| snapshot
parent	90dd88139a78b4dd650d5c462ecf602bf4813cd4	commit \| diff

- some corrections and additions
- lsubr moved from "relocation" to "static"

13 files changed:

matita/matita/contribs/lambdadelta/basic_2/grammar/leq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/leq_leq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/ldrop_leq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lsubr_lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_lleq.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.