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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 10 Feb 2018 22:27:55 +0000 (23:27 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 10 Feb 2018 22:27:55 +0000 (23:27 +0100)
commit	b0eb62e60a2fd73ba39c7a0df112f04131528602
tree	5136425bc4c7a2ac25ad80b51dd716529810f8b7	tree \| snapshot
parent	c9b2cad6a92aedba63318319169d057251b2d138	commit \| diff

two cases of cpx_lfxs_conf_fle closed

+ advances on fle
+ one inversion lemma missing in lveq
+ one character missing in predefined virtuals

12 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/voids/fle.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_lsubf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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