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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 21 Mar 2017 15:17:27 +0000 (15:17 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 21 Mar 2017 15:17:27 +0000 (15:17 +0000)
commit	69592aa1d0c0d122fb09f11cc53bf4c5a1532fdd
tree	e0c44030199d241b3273ac0d2bddbf7a7d492d8a	tree \| snapshot
parent	2f00c2224c66757d00883602cfd0bbd2448eb3ca	commit \| diff

we finally understood what tsts is, :)
so we renamed it as theq

22 files changed:

matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_theq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_theq_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_tsts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_tsts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/theq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_simple_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_theq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_simple.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_simple_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tsts_tsts.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.

RSS Atom