matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq

]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq_aaa.ma

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 2 Jul 2018 14:10:32 +0000 (16:10 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 2 Jul 2018 14:10:32 +0000 (16:10 +0200)
commit	ff612dc35167ec0c145864c9aa8ae5e1ebe20a48
tree	e330cde617b11dddde2fd1c98973aeccf0bf0a68	tree \| snapshot
parent	222044da28742b24584549ba86b1805a87def070	commit \| diff

syntactic components detached from basic_2 become static_2

+ web site updated accordingly

551 files changed:

.gitignore		diff \| blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/web/home/specification.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_gi.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/model_li.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/models/veq_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_lsubd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_scpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_da_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_lex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/rexs_rexs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabst_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxbind1_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxbind2_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxitem_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxvoid_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/gref_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/item0_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/item0_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/lref_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabbr_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabbrneg_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabbrpos_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabst_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabstneg_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabstpos_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snappl_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2neg_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2pos_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/sncast_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snflat2_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snitem2_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snitem2_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/star_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/star_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snabbr_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snabst_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snapplvector_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snbind1_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snbind2_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snitem_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snvoid_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/weight_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/weight_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/weight_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/atomicarity_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/freestar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/ideqsn_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/ineint_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqa_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqc_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqc_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lrsubeqf_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relation_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relation_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relation_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rliftstar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/simple_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareq_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareqsn_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareqsn_8.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/subseteq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/supterm_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/supterm_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermopt_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermopt_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermplus_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermplus_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermstar_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermstar_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/topiso_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/voidstareq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_cext2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ctc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_ltc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_seq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_sex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex_lex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_bind.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_bind.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight_bind.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/seq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/seq_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/seq_seq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/sex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/sex_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/sex_sex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/sex_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma		diff \| 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_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_gcr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_simple_theq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_vector.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/fpbs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fqus.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/lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_lpxs.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_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_transition/cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_fdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_rdeq.ma		diff \| blob \| history
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/lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_rpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fquq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fquq_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fquq_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_fdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_rdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_fdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fdeq_req.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_append.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle_fsle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_cr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_lsuba.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc_lsuba.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc_lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_frees.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_lsubf.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_lsubr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_fqus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_rdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rdeq_req.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/req.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/req_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/req_fsle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rex_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rex_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rex_fsle.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rex_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rex_lex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/rex_rex.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/aarity.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/bind.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/bind_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/ceq_ext.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/ceq_ext_ceq_ext.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/cext2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_restricted_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/cl_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/ext2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/ext2_ext2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/ext2_tc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/genv.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/genv_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/genv_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/item.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/item_sd.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/item_sh.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_lveq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_ext.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/term.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/term_simple.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/term_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/term_weight.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/theq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_simple.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_simple_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_theq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/compile_static.sh	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/bool.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/list.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/circledE_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/diamond_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/infinity_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/no_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/onezero_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/oplusright_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/semicolon_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/tuple_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/uparrow_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/yes_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/zeroone_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/zerozero_0.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/circledE_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/diamond_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/infinity_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/no_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/onezero_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/oplusright_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/semicolon_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/tuple_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/uparrow_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/yes_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/zeroone_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/zerozero_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/replace.sh		diff \| blob \| history
matita/matita/contribs/lambdadelta/static.txt	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/i_static/rexs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_lex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/i_static/rexs_rexs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxabbr_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxabst_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxbind1_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxbind2_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxitem_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/dxvoid_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/gref_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/item0_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/item0_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/lref_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabbr_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabbr_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabbrneg_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabbrpos_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabst_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabst_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabstneg_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snabstpos_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snappl_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snapplvector_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snbind1_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snbind2_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snbind2_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snbind2neg_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snbind2pos_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/sncast_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snflat2_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snitem2_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snitem2_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snitem_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/snvoid_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/star_0.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/star_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/weight_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/weight_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/functions/weight_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/atomicarity_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/freestar_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/ideqsn_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/ineint_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/lrsubeqa_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/lrsubeqc_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/lrsubeqc_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/lrsubeqf_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/rdropstar_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/rdropstar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/relation_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/relation_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/relation_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/relationstar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/rliftstar_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/simple_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/stareq_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/stareq_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/stareqsn_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/stareqsn_8.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/subseteq_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/supterm_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/supterm_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermopt_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermopt_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermplus_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermplus_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermstar_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermstar_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/topiso_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/voidstareq_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_cext2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_ctc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_lex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_ltc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_seq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_sex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lex_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lex_lex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lex_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_bind.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts_bind.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_weight_bind.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/seq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/seq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/seq_seq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/sex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/sex_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/sex_sex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/sex_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/aaa_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/aaa_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/aaa_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/aaa_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/aaa_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fdeq_fdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fdeq_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fdeq_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fdeq_req.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/frees_append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/frees_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/frees_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/frees_frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fsle_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fsle_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fsle_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/fsle_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/gcp.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/gcp_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/gcp_cr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsuba.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsuba_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsuba_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsuba_lsuba.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsuba_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubc_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubc_lsuba.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubc_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubf_frees.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubf_lsubf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubf_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubr_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubr_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/lsubr_lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rdeq_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rdeq_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rdeq_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rdeq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rdeq_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rdeq_req.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/req.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/req_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/req_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rex_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rex_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rex_fsle.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rex_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rex_lex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/rex_rex.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/aarity.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/append.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/append_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/bind.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/bind_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/ceq_ext.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/ceq_ext_ceq_ext.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/cext2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/cl_restricted_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/cl_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/ext2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/ext2_ext2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/ext2_tc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/genv.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/genv_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/genv_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/item.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/item_sd.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/item_sh.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/lenv.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/lenv_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/lenv_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/lveq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/lveq_lveq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/tdeq_ext.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/tdeq_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/term.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/term_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/term_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/term_weight.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/theq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/theq_simple.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/theq_simple_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/theq_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/theq_theq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/web/static_2.ldw.xml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl	[new file with mode: 0644]	blob

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

RSS Atom