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, 2 Mar 2018 13:29:56 +0000 (14:29 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Fri, 2 Mar 2018 13:29:56 +0000 (14:29 +0100)
commit	990f97071a9939d47be16b36f6045d3b23f218e0
tree	8c9e5fe3a3526b9e3c0dfbe143fd3ecf2516735f	tree \| snapshot
parent	42705ef31dd3513a998533e02b5f20fb38dd4fb2	commit \| diff

update in ground_2 and basic_2

+ minor additions
+ refactoring

40 files changed:

helm/www/lambdadelta/download/ld_talk_10s.pdf	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/documentation_3.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/fid/fid.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fid/fle_fid.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fid/isidentity_2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fid/lfeq_fid.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees_drops2.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs_fle.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_tc_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_etc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.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	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fle_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fsle_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fsle_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fsle_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fsle_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma		diff \| blob \| history
matita/matita/matita.lang		diff \| blob \| history

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

RSS Atom