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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 15 Nov 2019 15:22:29 +0000 (16:22 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 15 Nov 2019 15:22:29 +0000 (16:22 +0100)
commit	f677b4ef7fa20f1ab36c5ee59598865d5c1b719b
tree	90ece7bcbeba4df7e4a055e668f841f08f1dbd15	tree \| snapshot
parent	2f19651bcec24abfb1bf15ff7e1387daad1f6638	commit \| diff

update in static_2 and basic_2 for the article

+ commented theorems activated or parked
+ some renaming to match the article

32 files changed:

matita/matita/contribs/lambdadelta/basic_2/etc/cnuw_simple.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpx_req.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ntas_nta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_nta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_teqo.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_teqo_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_toeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_toeq_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cnx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_simple_teqo.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_simple_toeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/refile.sh	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/etc/frees_drops.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_teqo.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_toeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/teqo.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/teqo_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/teqo_simple_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/teqo_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/teqo_teqo.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/toeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/toeq_simple.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/toeq_simple_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/toeq_tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/toeq_toeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history

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

RSS Atom