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 Aug 2014 18:41:31 +0000 (18:41 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 10 Aug 2014 18:41:31 +0000 (18:41 +0000)
commit	fca909e9e53de73771e1b47e94434ae8f747d7fb
tree	35014c7c72fead0524fc55eefb38023d8d6860fa	tree \| snapshot
parent	795ac6cc4ef54b4470b5e2fba287acca440c9c18	commit \| diff

some renaming and a minor addition

38 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/acp_cr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tsts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tsts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/csx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tstc_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tsts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/gcp.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/gcp_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/gcp_cr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_drop.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tstc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tstc_tstc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tstc_vector.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/tsts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/tsts_tsts.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/grammar/tsts_vector.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2_gr2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2_minus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/gr2_plus.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lifts_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/mr2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/mr2_minus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/mr2_mr2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/multiple/mr2_plus.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		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