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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 16 Apr 2018 19:47:12 +0000 (21:47 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 16 Apr 2018 19:47:12 +0000 (21:47 +0200)
commit	75f395f0febd02de8e0f881d918a8812b1425c8d
tree	a883855cb2b11233ad1b05d898c7a56a296a10e4	tree \| snapshot
parent	d59f344b1e4b377e2f06abd9f8856d686d21b222	commit \| diff

update in basic_2 and ground_2

+ some notational changes
+ some renaming
+ some dependences updated

137 files changed:

matita/components/syntax_extensions/.depend		diff \| blob \| history
matita/matita/.depend.opt		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/examples/ex_cpr_omega.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/doteqsn_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/freestar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/ideqsn_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rliftstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lstar.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_weight.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_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_weight_bind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cpxs.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_lfpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lsubr.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_csx.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_lfpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cprs.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/scpds_scpds.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/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_drops.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_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_append.ma		diff \| 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/frees_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/fsle_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubc_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubr_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/star.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rafter_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rat_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rcoafter_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rcolength_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rintersection_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rminus_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/runion_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_minus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isfin.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sand.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_uni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history

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

RSS Atom