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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 25 Nov 2012 12:41:42 +0000 (12:41 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 25 Nov 2012 12:41:42 +0000 (12:41 +0000)
commit	46e87acb755894f9234191d675eeb5db4f5b930b
tree	18d1c56daaaf64e3bbca83c538f190288eb2374b	tree \| snapshot
parent	f8bc120b39bd74ade4e11d4d3ef4355f66c42495	commit \| diff

some renaming to free the baseuri cic:/matita/lambda

86 files changed:

matita/matita/lib/lambda/CC2FO_K.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/CC2FO_K_cube.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/arity.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/arity_eval.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/convertibility.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/cube.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/degree.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/ext.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/ext_lambda.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/inversion.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/lambda_notation.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/lift.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/par_reduction.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/rc_eval.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/rc_hsat.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/rc_sat.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/reduction.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/sn.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/subject.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/subst.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/subterms.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/terms.ma	[deleted file]	blob \| history
matita/matita/lib/lambda/types.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/arity.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/arity_eval.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/convertibility.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/cube.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/ext.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/ext_lambda.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/inversion.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/lambda_notation.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/par_reduction.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/rc_eval.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/rc_hsat.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/rc_sat.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/reduction.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/sn.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/subject.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/subst.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/subterms.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/terms.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/thinning.ma	[deleted file]	blob \| history
matita/matita/lib/lambdaN/types.ma	[deleted file]	blob \| history
matita/matita/lib/pts_dummy/CC2FO_K.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/CC2FO_K_cube.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/arity.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/arity_eval.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/convertibility.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/cube.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/degree.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/ext.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/ext_lambda.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/inversion.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/lambda_notation.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/lift.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/par_reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/rc_eval.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/rc_hsat.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/rc_sat.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/sn.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/subject.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/subst.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/subterms.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/terms.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy/types.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/arity.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/arity_eval.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/convertibility.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/cube.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/ext.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/ext_lambda.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/inversion.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/lambda_notation.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/par_reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/rc_eval.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/rc_hsat.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/rc_sat.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/reduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/sn.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/subject.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/subst.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/subterms.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/terms.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/thinning.ma	[new file with mode: 0644]	blob
matita/matita/lib/pts_dummy_new/types.ma	[new file with mode: 0644]	blob

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

RSS Atom