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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 10 Mar 2013 17:05:30 +0000 (17:05 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 10 Mar 2013 17:05:30 +0000 (17:05 +0000)
commit	08cb57944c0df08611d4f35d286e46c0d13e4813
tree	7638380b5378f7dbe3e29330b2a27e9d0683021e	tree \| snapshot
parent	9245402674a791dfdb943902f8288d742088c854	commit \| diff

- improved Makefile esp. with the "trim" function
- some files trimmed

69 files changed:

matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/functional/dsubst.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_cr.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_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_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fprs_cprs.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_ltpr.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_ltpr.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/grammar/cl_shift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_px.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/term.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cfpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cfpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cfpr_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cif.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cnf_cif.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/cpr_cpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/lfpr_fpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/ltpr_ltpss_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr_delift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr_tpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/sd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_ltpss_dx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/gdrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop_sfr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/tps.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/tps_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift_ltpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/gr2_minus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/gr2_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lifts_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lifts_lift_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/ltpss_dx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/ltpss_dx_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/ltpss_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/ltpss_sn_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/tpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/tpss_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_ltpss_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_blk.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/arith.ma		diff \| blob \| history

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

RSS Atom