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: 1fd62f1) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 27 Mar 2018 13:29:01 +0000 (15:29 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 27 Mar 2018 13:29:01 +0000 (15:29 +0200)
commit	97c627e9d169b5df0308d440a449a6853108f372
tree	c20c73e26dbcc85dc9b1c760b3cbfd025eaff749	tree \| snapshot
parent	1fd62f1ce4f8209dec780d80aa53b140a8882ad7	commit \| diff

update in basic_2

+ last property of fpbs proved

13 files changed:

matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_cpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lfpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_ffdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_ffdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_lfeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfeq.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.