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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 1 Aug 2013 12:32:09 +0000 (12:32 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 1 Aug 2013 12:32:09 +0000 (12:32 +0000)
commit	29973426e0227ee48368d1c24dc0c17bf2baef77
tree	303f0138e610d580b3a5186f7466709fbe162a22	tree \| snapshot
parent	f95f6cb21b86f3dad114b21f687aa5df36088064	commit \| diff

partial commit: just the components before "static" ...

135 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpre_cpre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csn_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lprs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/conversion/cpc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/conversion/cpc_cpc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_snv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/ygt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/ypr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/yprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/ysc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/genv.ma		diff \| 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	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/atomicarity_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/normal_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/notreducible_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconv_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pconvstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/peval_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/pred_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/reducible_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/supterm_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/supterm_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermopt_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermopt_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermoptalt_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermoptalt_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermplus_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermplus_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermstar_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermstar_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cir_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cir_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_crr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_cix.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_crx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_cix.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsupq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsupq_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/gdrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/gdrop_gdrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/gget.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/gget_gget.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsupp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsupp_fsupp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsups.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsups_fsups.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/sstas_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/sstas_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/sstas_sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/star.ma		diff \| blob \| history
matita/matita/lib/arithmetics/nat.ma		diff \| blob \| history
matita/matita/lib/basics/relations.ma		diff \| blob \| history
matita/matita/lib/basics/star.ma		diff \| blob \| history

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

RSS Atom