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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 12 Oct 2013 17:38:16 +0000 (17:38 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 12 Oct 2013 17:38:16 +0000 (17:38 +0000)
commit	7ad8c044ab33ea0f2aebb1c40fa20340d7f2f3eb
tree	4dde28a3000c107360b93a1652092b5e07ff85b0	tree \| snapshot
parent	a5b0e6d1efb9b5126cc1d72d954edc9a5e630981	commit \| diff

some renaming ...

33 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_da_lpr.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_lsstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbc.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_ldrop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fqu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fquq_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fsup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsupq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/fsupq_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fqup_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fqus_fqus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/fsupp.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsupp_fsupp.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsups.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/substitution/fsups_fsups.ma	[deleted file]	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