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: 18d7afd) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Mar 2017 14:22:00 +0000 (14:22 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Mar 2017 14:22:00 +0000 (14:22 +0000)
commit	1ddb3f36f9230e326df60e6db7ef2624a9c16930
tree	0857c485a187cf7c1fdad558e68e7ef568329e6b	tree \| snapshot
parent	18d7afd216aee6c815eac30982d8ad4fa4521070	commit \| diff

- cpxs_tsts_vector completed
- refactoring in etc

14 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/cpx/cpx_lreq.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpx_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpb/fpb_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpb_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fpbq/fpbq_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpbq_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/tsts/tsts.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_simple_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_vector.ma	[deleted file]	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.