From 46e87acb755894f9234191d675eeb5db4f5b930b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 25 Nov 2012 12:41:42 +0000 Subject: [PATCH] some renaming to free the baseuri cic:/matita/lambda --- matita/matita/lib/{lambda => pts_dummy}/CC2FO_K.ma | 0 matita/matita/lib/{lambda => pts_dummy}/CC2FO_K_cube.ma | 0 matita/matita/lib/{lambda => pts_dummy}/arity.ma | 0 matita/matita/lib/{lambda => pts_dummy}/arity_eval.ma | 0 matita/matita/lib/{lambda => pts_dummy}/convertibility.ma | 0 matita/matita/lib/{lambda => pts_dummy}/cube.ma | 0 matita/matita/lib/{lambda => pts_dummy}/degree.ma | 0 matita/matita/lib/{lambda => pts_dummy}/ext.ma | 0 matita/matita/lib/{lambda => pts_dummy}/ext_lambda.ma | 0 matita/matita/lib/{lambda => pts_dummy}/inversion.ma | 0 matita/matita/lib/{lambda => pts_dummy}/lambda_notation.ma | 0 matita/matita/lib/{lambda => pts_dummy}/lift.ma | 0 matita/matita/lib/{lambda => pts_dummy}/par_reduction.ma | 0 matita/matita/lib/{lambda => pts_dummy}/rc_eval.ma | 0 matita/matita/lib/{lambda => pts_dummy}/rc_hsat.ma | 0 matita/matita/lib/{lambda => pts_dummy}/rc_sat.ma | 0 matita/matita/lib/{lambda => pts_dummy}/reduction.ma | 0 matita/matita/lib/{lambda => pts_dummy}/sn.ma | 0 matita/matita/lib/{lambda => pts_dummy}/subject.ma | 0 matita/matita/lib/{lambda => pts_dummy}/subst.ma | 0 matita/matita/lib/{lambda => pts_dummy}/subterms.ma | 0 matita/matita/lib/{lambda => pts_dummy}/terms.ma | 0 matita/matita/lib/{lambda => pts_dummy}/types.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/arity.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/arity_eval.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/convertibility.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/cube.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/ext.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/ext_lambda.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/inversion.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/lambda_notation.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/par_reduction.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/rc_eval.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/rc_hsat.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/rc_sat.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/reduction.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/sn.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/subject.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/subst.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/subterms.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/terms.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/thinning.ma | 0 matita/matita/lib/{lambdaN => pts_dummy_new}/types.ma | 0 43 files changed, 0 insertions(+), 0 deletions(-) rename matita/matita/lib/{lambda => pts_dummy}/CC2FO_K.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/CC2FO_K_cube.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/arity.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/arity_eval.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/convertibility.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/cube.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/degree.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/ext.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/ext_lambda.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/inversion.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/lambda_notation.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/lift.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/par_reduction.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/rc_eval.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/rc_hsat.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/rc_sat.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/reduction.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/sn.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/subject.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/subst.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/subterms.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/terms.ma (100%) rename matita/matita/lib/{lambda => pts_dummy}/types.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/arity.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/arity_eval.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/convertibility.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/cube.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/ext.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/ext_lambda.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/inversion.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/lambda_notation.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/par_reduction.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/rc_eval.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/rc_hsat.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/rc_sat.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/reduction.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/sn.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/subject.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/subst.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/subterms.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/terms.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/thinning.ma (100%) rename matita/matita/lib/{lambdaN => pts_dummy_new}/types.ma (100%) diff --git a/matita/matita/lib/lambda/CC2FO_K.ma b/matita/matita/lib/pts_dummy/CC2FO_K.ma similarity index 100% rename from matita/matita/lib/lambda/CC2FO_K.ma rename to matita/matita/lib/pts_dummy/CC2FO_K.ma diff --git a/matita/matita/lib/lambda/CC2FO_K_cube.ma b/matita/matita/lib/pts_dummy/CC2FO_K_cube.ma similarity index 100% rename from matita/matita/lib/lambda/CC2FO_K_cube.ma rename to matita/matita/lib/pts_dummy/CC2FO_K_cube.ma diff --git a/matita/matita/lib/lambda/arity.ma b/matita/matita/lib/pts_dummy/arity.ma similarity index 100% rename from matita/matita/lib/lambda/arity.ma rename to matita/matita/lib/pts_dummy/arity.ma diff --git a/matita/matita/lib/lambda/arity_eval.ma b/matita/matita/lib/pts_dummy/arity_eval.ma similarity index 100% rename from matita/matita/lib/lambda/arity_eval.ma rename to matita/matita/lib/pts_dummy/arity_eval.ma diff --git a/matita/matita/lib/lambda/convertibility.ma b/matita/matita/lib/pts_dummy/convertibility.ma similarity index 100% rename from matita/matita/lib/lambda/convertibility.ma rename to matita/matita/lib/pts_dummy/convertibility.ma diff --git a/matita/matita/lib/lambda/cube.ma b/matita/matita/lib/pts_dummy/cube.ma similarity index 100% rename from matita/matita/lib/lambda/cube.ma rename to matita/matita/lib/pts_dummy/cube.ma diff --git a/matita/matita/lib/lambda/degree.ma b/matita/matita/lib/pts_dummy/degree.ma similarity index 100% rename from matita/matita/lib/lambda/degree.ma rename to matita/matita/lib/pts_dummy/degree.ma diff --git a/matita/matita/lib/lambda/ext.ma b/matita/matita/lib/pts_dummy/ext.ma similarity index 100% rename from matita/matita/lib/lambda/ext.ma rename to matita/matita/lib/pts_dummy/ext.ma diff --git a/matita/matita/lib/lambda/ext_lambda.ma b/matita/matita/lib/pts_dummy/ext_lambda.ma similarity index 100% rename from matita/matita/lib/lambda/ext_lambda.ma rename to matita/matita/lib/pts_dummy/ext_lambda.ma diff --git a/matita/matita/lib/lambda/inversion.ma b/matita/matita/lib/pts_dummy/inversion.ma similarity index 100% rename from matita/matita/lib/lambda/inversion.ma rename to matita/matita/lib/pts_dummy/inversion.ma diff --git a/matita/matita/lib/lambda/lambda_notation.ma b/matita/matita/lib/pts_dummy/lambda_notation.ma similarity index 100% rename from matita/matita/lib/lambda/lambda_notation.ma rename to matita/matita/lib/pts_dummy/lambda_notation.ma diff --git a/matita/matita/lib/lambda/lift.ma b/matita/matita/lib/pts_dummy/lift.ma similarity index 100% rename from matita/matita/lib/lambda/lift.ma rename to matita/matita/lib/pts_dummy/lift.ma diff --git a/matita/matita/lib/lambda/par_reduction.ma b/matita/matita/lib/pts_dummy/par_reduction.ma similarity index 100% rename from matita/matita/lib/lambda/par_reduction.ma rename to matita/matita/lib/pts_dummy/par_reduction.ma diff --git a/matita/matita/lib/lambda/rc_eval.ma b/matita/matita/lib/pts_dummy/rc_eval.ma similarity index 100% rename from matita/matita/lib/lambda/rc_eval.ma rename to matita/matita/lib/pts_dummy/rc_eval.ma diff --git a/matita/matita/lib/lambda/rc_hsat.ma b/matita/matita/lib/pts_dummy/rc_hsat.ma similarity index 100% rename from matita/matita/lib/lambda/rc_hsat.ma rename to matita/matita/lib/pts_dummy/rc_hsat.ma diff --git a/matita/matita/lib/lambda/rc_sat.ma b/matita/matita/lib/pts_dummy/rc_sat.ma similarity index 100% rename from matita/matita/lib/lambda/rc_sat.ma rename to matita/matita/lib/pts_dummy/rc_sat.ma diff --git a/matita/matita/lib/lambda/reduction.ma b/matita/matita/lib/pts_dummy/reduction.ma similarity index 100% rename from matita/matita/lib/lambda/reduction.ma rename to matita/matita/lib/pts_dummy/reduction.ma diff --git a/matita/matita/lib/lambda/sn.ma b/matita/matita/lib/pts_dummy/sn.ma similarity index 100% rename from matita/matita/lib/lambda/sn.ma rename to matita/matita/lib/pts_dummy/sn.ma diff --git a/matita/matita/lib/lambda/subject.ma b/matita/matita/lib/pts_dummy/subject.ma similarity index 100% rename from matita/matita/lib/lambda/subject.ma rename to matita/matita/lib/pts_dummy/subject.ma diff --git a/matita/matita/lib/lambda/subst.ma b/matita/matita/lib/pts_dummy/subst.ma similarity index 100% rename from matita/matita/lib/lambda/subst.ma rename to matita/matita/lib/pts_dummy/subst.ma diff --git a/matita/matita/lib/lambda/subterms.ma b/matita/matita/lib/pts_dummy/subterms.ma similarity index 100% rename from matita/matita/lib/lambda/subterms.ma rename to matita/matita/lib/pts_dummy/subterms.ma diff --git a/matita/matita/lib/lambda/terms.ma b/matita/matita/lib/pts_dummy/terms.ma similarity index 100% rename from matita/matita/lib/lambda/terms.ma rename to matita/matita/lib/pts_dummy/terms.ma diff --git a/matita/matita/lib/lambda/types.ma b/matita/matita/lib/pts_dummy/types.ma similarity index 100% rename from matita/matita/lib/lambda/types.ma rename to matita/matita/lib/pts_dummy/types.ma diff --git a/matita/matita/lib/lambdaN/arity.ma b/matita/matita/lib/pts_dummy_new/arity.ma similarity index 100% rename from matita/matita/lib/lambdaN/arity.ma rename to matita/matita/lib/pts_dummy_new/arity.ma diff --git a/matita/matita/lib/lambdaN/arity_eval.ma b/matita/matita/lib/pts_dummy_new/arity_eval.ma similarity index 100% rename from matita/matita/lib/lambdaN/arity_eval.ma rename to matita/matita/lib/pts_dummy_new/arity_eval.ma diff --git a/matita/matita/lib/lambdaN/convertibility.ma b/matita/matita/lib/pts_dummy_new/convertibility.ma similarity index 100% rename from matita/matita/lib/lambdaN/convertibility.ma rename to matita/matita/lib/pts_dummy_new/convertibility.ma diff --git a/matita/matita/lib/lambdaN/cube.ma b/matita/matita/lib/pts_dummy_new/cube.ma similarity index 100% rename from matita/matita/lib/lambdaN/cube.ma rename to matita/matita/lib/pts_dummy_new/cube.ma diff --git a/matita/matita/lib/lambdaN/ext.ma b/matita/matita/lib/pts_dummy_new/ext.ma similarity index 100% rename from matita/matita/lib/lambdaN/ext.ma rename to matita/matita/lib/pts_dummy_new/ext.ma diff --git a/matita/matita/lib/lambdaN/ext_lambda.ma b/matita/matita/lib/pts_dummy_new/ext_lambda.ma similarity index 100% rename from matita/matita/lib/lambdaN/ext_lambda.ma rename to matita/matita/lib/pts_dummy_new/ext_lambda.ma diff --git a/matita/matita/lib/lambdaN/inversion.ma b/matita/matita/lib/pts_dummy_new/inversion.ma similarity index 100% rename from matita/matita/lib/lambdaN/inversion.ma rename to matita/matita/lib/pts_dummy_new/inversion.ma diff --git a/matita/matita/lib/lambdaN/lambda_notation.ma b/matita/matita/lib/pts_dummy_new/lambda_notation.ma similarity index 100% rename from matita/matita/lib/lambdaN/lambda_notation.ma rename to matita/matita/lib/pts_dummy_new/lambda_notation.ma diff --git a/matita/matita/lib/lambdaN/par_reduction.ma b/matita/matita/lib/pts_dummy_new/par_reduction.ma similarity index 100% rename from matita/matita/lib/lambdaN/par_reduction.ma rename to matita/matita/lib/pts_dummy_new/par_reduction.ma diff --git a/matita/matita/lib/lambdaN/rc_eval.ma b/matita/matita/lib/pts_dummy_new/rc_eval.ma similarity index 100% rename from matita/matita/lib/lambdaN/rc_eval.ma rename to matita/matita/lib/pts_dummy_new/rc_eval.ma diff --git a/matita/matita/lib/lambdaN/rc_hsat.ma b/matita/matita/lib/pts_dummy_new/rc_hsat.ma similarity index 100% rename from matita/matita/lib/lambdaN/rc_hsat.ma rename to matita/matita/lib/pts_dummy_new/rc_hsat.ma diff --git a/matita/matita/lib/lambdaN/rc_sat.ma b/matita/matita/lib/pts_dummy_new/rc_sat.ma similarity index 100% rename from matita/matita/lib/lambdaN/rc_sat.ma rename to matita/matita/lib/pts_dummy_new/rc_sat.ma diff --git a/matita/matita/lib/lambdaN/reduction.ma b/matita/matita/lib/pts_dummy_new/reduction.ma similarity index 100% rename from matita/matita/lib/lambdaN/reduction.ma rename to matita/matita/lib/pts_dummy_new/reduction.ma diff --git a/matita/matita/lib/lambdaN/sn.ma b/matita/matita/lib/pts_dummy_new/sn.ma similarity index 100% rename from matita/matita/lib/lambdaN/sn.ma rename to matita/matita/lib/pts_dummy_new/sn.ma diff --git a/matita/matita/lib/lambdaN/subject.ma b/matita/matita/lib/pts_dummy_new/subject.ma similarity index 100% rename from matita/matita/lib/lambdaN/subject.ma rename to matita/matita/lib/pts_dummy_new/subject.ma diff --git a/matita/matita/lib/lambdaN/subst.ma b/matita/matita/lib/pts_dummy_new/subst.ma similarity index 100% rename from matita/matita/lib/lambdaN/subst.ma rename to matita/matita/lib/pts_dummy_new/subst.ma diff --git a/matita/matita/lib/lambdaN/subterms.ma b/matita/matita/lib/pts_dummy_new/subterms.ma similarity index 100% rename from matita/matita/lib/lambdaN/subterms.ma rename to matita/matita/lib/pts_dummy_new/subterms.ma diff --git a/matita/matita/lib/lambdaN/terms.ma b/matita/matita/lib/pts_dummy_new/terms.ma similarity index 100% rename from matita/matita/lib/lambdaN/terms.ma rename to matita/matita/lib/pts_dummy_new/terms.ma diff --git a/matita/matita/lib/lambdaN/thinning.ma b/matita/matita/lib/pts_dummy_new/thinning.ma similarity index 100% rename from matita/matita/lib/lambdaN/thinning.ma rename to matita/matita/lib/pts_dummy_new/thinning.ma diff --git a/matita/matita/lib/lambdaN/types.ma b/matita/matita/lib/pts_dummy_new/types.ma similarity index 100% rename from matita/matita/lib/lambdaN/types.ma rename to matita/matita/lib/pts_dummy_new/types.ma -- 2.39.2