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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 17 Mar 2013 17:43:13 +0000 (17:43 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 17 Mar 2013 17:43:13 +0000 (17:43 +0000)
commit	bd7183da46c7cb0f389cda40955b270c03b57a4b
tree	d23017e6c264d3f235fc6dc6e92482c86a4a22e7	tree \| snapshot
parent	cdfd45ca5a2b52601b7bde732a7811de55a52fed	commit \| diff

lsubs renamed as lsubr

32 files changed:

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/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/snv_ltpr.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_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubss_cpcs.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/cpr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/ltpr_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr_tpss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/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/lsubr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubr_sfr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/lsubs_sfr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/tps.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/tps_tps.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift.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/ltpss_dx_ltpss_dx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/ltpss_sn_ltpss_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/ltpss_sn_tpss.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/web/basic_2_src.tbl		diff \| blob \| history

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

RSS Atom