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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 25 Jun 2018 22:54:48 +0000 (00:54 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 25 Jun 2018 22:54:48 +0000 (00:54 +0200)
commit	222044da28742b24584549ba86b1805a87def070
tree	d74ebfdbea0f40b4cf0ec90c2e3490d37770b52c	tree \| snapshot
parent	5c186c72f508da0849058afeecc6877cd9ed6303	commit \| diff

renaming in basic_2

+ a notation problem solved

161 files changed:

matita/matita/contribs/lambdadelta/basic_2/i_static/rexs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_lex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_rexs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_lex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_tc_lfxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relation_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relation_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstar_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstarstar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ctc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ltc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_seq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_sex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex_length.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.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/seq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/seq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/seq_seq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/sex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/sex_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/sex_sex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/sex_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fpbq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_cpx.ma		diff \| blob \| history
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_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_rdsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_req.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_fsle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lpx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_lpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rpx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/aaa_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/aaa_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_req.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_ffdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_lfeq.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/lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_fsle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fsle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_req.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/req.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/req_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/req_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rex_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rex_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rex_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rex_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rex_lex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/rex_rex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/restore.sh		diff \| blob \| history

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

RSS Atom