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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 10 May 2013 16:15:53 +0000 (16:15 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 10 May 2013 16:15:53 +0000 (16:15 +0000)
commit	7d2817401273978654ca725fb3794a4a465a93bb
tree	2c446968ee2646305d78e11354005aa854f49abe	tree \| snapshot
parent	24ccb1f19b64d27f0f3c766e2b1503bd8e3b4786	commit \| diff

- partial commit: we issue the "conversion" and "equivalence" components
- we park conversion and equivalence on local environments for the moment

42 files changed:

matita/matita/contribs/lambdadelta/basic_2/conversion/cpc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/conversion/fpc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/conversion/fpc_fpc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/conversion/lfpc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/conversion/lfpc_lfpc.ma	[deleted file]	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/equivalence/cpcs_cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_delift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_lpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_ltpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_ltpss_dx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_ltpss_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs_cpcs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs_fpcs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs_fprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lfpcs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lfpcs_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lfpcs_fpcs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lfpcs_lfpcs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lfpcs_lfprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubss.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpcs_ltpss_dx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpr/cpcs_ltpss_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/delift/cpcs_delift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpc_fpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/fpr/fpcs_fprs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc_lfpc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_fpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_lfpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpcs_lfprs.etc	[new file with mode: 0644]	blob
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