From df1bcd1387439133c0c33f597a5f8b2331c07772 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 6 Nov 2022 19:21:23 +0100 Subject: [PATCH] update in delayed_updating + core reduction parked + paths of one repeated label resumed --- .../core_reduction/black_rightarrow_df_3.etc} | 0 .../core_reduction/black_rightarrow_if_3.etc} | 0 .../{reduction/dfr.ma => etc/core_reduction/dfr.etc} | 0 .../{reduction/dfr_ifr.ma => etc/core_reduction/dfr_ifr.etc} | 0 .../{reduction/dfr_lift.ma => etc/core_reduction/dfr_lift.etc} | 0 .../{reduction/ifr.ma => etc/core_reduction/ifr.etc} | 0 .../{reduction/ifr_lift.ma => etc/core_reduction/ifr_lift.etc} | 0 .../ifr_unwind.ma => etc/core_reduction/ifr_unwind.etc} | 0 .../delayed_updating/etc/{head => height}/path_height_labels.etc | 0 .../delayed_updating/etc/{head => labels}/path_depth_labels.etc | 0 .../etc/{head => labels}/path_structure_labels.etc | 0 .../delayed_updating/etc/{head => labels}/unwind2_rmap_labels.etc | 0 .../{etc/head/power_2.etc => notation/functions/power_2.ma} | 0 .../{etc/head/path_labels.etc => syntax/path_labels.ma} | 0 14 files changed, 0 insertions(+), 0 deletions(-) rename matita/matita/contribs/lambdadelta/delayed_updating/{notation/relations/black_rightarrow_df_3.ma => etc/core_reduction/black_rightarrow_df_3.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{notation/relations/black_rightarrow_if_3.ma => etc/core_reduction/black_rightarrow_if_3.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{reduction/dfr.ma => etc/core_reduction/dfr.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{reduction/dfr_ifr.ma => etc/core_reduction/dfr_ifr.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{reduction/dfr_lift.ma => etc/core_reduction/dfr_lift.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{reduction/ifr.ma => etc/core_reduction/ifr.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{reduction/ifr_lift.ma => etc/core_reduction/ifr_lift.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{reduction/ifr_unwind.ma => etc/core_reduction/ifr_unwind.etc} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/etc/{head => height}/path_height_labels.etc (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/etc/{head => labels}/path_depth_labels.etc (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/etc/{head => labels}/path_structure_labels.etc (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/etc/{head => labels}/unwind2_rmap_labels.etc (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{etc/head/power_2.etc => notation/functions/power_2.ma} (100%) rename matita/matita/contribs/lambdadelta/delayed_updating/{etc/head/path_labels.etc => syntax/path_labels.ma} (100%) diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_df_3.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/black_rightarrow_df_3.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_df_3.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/black_rightarrow_df_3.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_if_3.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/black_rightarrow_if_3.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_if_3.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/black_rightarrow_if_3.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr_ifr.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr_ifr.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_lift.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr_lift.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_lift.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/dfr_lift.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr_lift.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr_lift.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr_lift.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr_lift.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr_unwind.ma b/matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr_unwind.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/reduction/ifr_unwind.ma rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/core_reduction/ifr_unwind.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_height_labels.etc b/matita/matita/contribs/lambdadelta/delayed_updating/etc/height/path_height_labels.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_height_labels.etc rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/height/path_height_labels.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_depth_labels.etc b/matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/path_depth_labels.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_depth_labels.etc rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/path_depth_labels.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_structure_labels.etc b/matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/path_structure_labels.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_structure_labels.etc rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/path_structure_labels.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/etc/head/unwind2_rmap_labels.etc b/matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/unwind2_rmap_labels.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/etc/head/unwind2_rmap_labels.etc rename to matita/matita/contribs/lambdadelta/delayed_updating/etc/labels/unwind2_rmap_labels.etc diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/etc/head/power_2.etc b/matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/power_2.ma similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/etc/head/power_2.etc rename to matita/matita/contribs/lambdadelta/delayed_updating/notation/functions/power_2.ma diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_labels.etc b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_labels.ma similarity index 100% rename from matita/matita/contribs/lambdadelta/delayed_updating/etc/head/path_labels.etc rename to matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_labels.ma -- 2.39.2