From 2e481fd54d89b2a48f6f38f9562125136aa41d83 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 26 Dec 2018 16:09:34 +0100 Subject: [PATCH] Broken libs moved to broken_lib Some can probably be restored with some love. --- matita/matita/{lib => broken_lib}/binding/db.ma | 0 matita/matita/{lib => broken_lib}/binding/fp.ma | 0 matita/matita/{lib => broken_lib}/binding/ln.ma | 0 matita/matita/{lib => broken_lib}/binding/ln_concrete.ma | 0 matita/matita/{lib => broken_lib}/binding/names.ma | 0 matita/matita/{lib => broken_lib}/finite_lambda/confluence.ma | 0 matita/matita/{lib => broken_lib}/finite_lambda/reduction.ma | 0 .../matita/{lib => broken_lib}/finite_lambda/terms_and_types.ma | 0 matita/matita/{lib => broken_lib}/finite_lambda/typing.ma | 0 matita/matita/{lib => broken_lib}/reverse_complexity/big_O.ma | 0 matita/matita/{lib => broken_lib}/reverse_complexity/gap.ma | 0 matita/matita/{lib => broken_lib}/reverse_complexity/hierarchy.ma | 0 .../matita/{lib => broken_lib}/reverse_complexity/speed_clean.ma | 0 matita/matita/{lib => broken_lib}/reverse_complexity/speed_def.ma | 0 matita/matita/{lib => broken_lib}/reverse_complexity/speed_new.ma | 0 matita/matita/{lib => broken_lib}/reverse_complexity/toolkit.ma | 0 .../{lib => broken_lib}/turing/multi_to_mono/multi_to_mono.ma | 0 17 files changed, 0 insertions(+), 0 deletions(-) rename matita/matita/{lib => broken_lib}/binding/db.ma (100%) rename matita/matita/{lib => broken_lib}/binding/fp.ma (100%) rename matita/matita/{lib => broken_lib}/binding/ln.ma (100%) rename matita/matita/{lib => broken_lib}/binding/ln_concrete.ma (100%) rename matita/matita/{lib => broken_lib}/binding/names.ma (100%) rename matita/matita/{lib => broken_lib}/finite_lambda/confluence.ma (100%) rename matita/matita/{lib => broken_lib}/finite_lambda/reduction.ma (100%) rename matita/matita/{lib => broken_lib}/finite_lambda/terms_and_types.ma (100%) rename matita/matita/{lib => broken_lib}/finite_lambda/typing.ma (100%) rename matita/matita/{lib => broken_lib}/reverse_complexity/big_O.ma (100%) rename matita/matita/{lib => broken_lib}/reverse_complexity/gap.ma (100%) rename matita/matita/{lib => broken_lib}/reverse_complexity/hierarchy.ma (100%) rename matita/matita/{lib => broken_lib}/reverse_complexity/speed_clean.ma (100%) rename matita/matita/{lib => broken_lib}/reverse_complexity/speed_def.ma (100%) rename matita/matita/{lib => broken_lib}/reverse_complexity/speed_new.ma (100%) rename matita/matita/{lib => broken_lib}/reverse_complexity/toolkit.ma (100%) rename matita/matita/{lib => broken_lib}/turing/multi_to_mono/multi_to_mono.ma (100%) diff --git a/matita/matita/lib/binding/db.ma b/matita/matita/broken_lib/binding/db.ma similarity index 100% rename from matita/matita/lib/binding/db.ma rename to matita/matita/broken_lib/binding/db.ma diff --git a/matita/matita/lib/binding/fp.ma b/matita/matita/broken_lib/binding/fp.ma similarity index 100% rename from matita/matita/lib/binding/fp.ma rename to matita/matita/broken_lib/binding/fp.ma diff --git a/matita/matita/lib/binding/ln.ma b/matita/matita/broken_lib/binding/ln.ma similarity index 100% rename from matita/matita/lib/binding/ln.ma rename to matita/matita/broken_lib/binding/ln.ma diff --git a/matita/matita/lib/binding/ln_concrete.ma b/matita/matita/broken_lib/binding/ln_concrete.ma similarity index 100% rename from matita/matita/lib/binding/ln_concrete.ma rename to matita/matita/broken_lib/binding/ln_concrete.ma diff --git a/matita/matita/lib/binding/names.ma b/matita/matita/broken_lib/binding/names.ma similarity index 100% rename from matita/matita/lib/binding/names.ma rename to matita/matita/broken_lib/binding/names.ma diff --git a/matita/matita/lib/finite_lambda/confluence.ma b/matita/matita/broken_lib/finite_lambda/confluence.ma similarity index 100% rename from matita/matita/lib/finite_lambda/confluence.ma rename to matita/matita/broken_lib/finite_lambda/confluence.ma diff --git a/matita/matita/lib/finite_lambda/reduction.ma b/matita/matita/broken_lib/finite_lambda/reduction.ma similarity index 100% rename from matita/matita/lib/finite_lambda/reduction.ma rename to matita/matita/broken_lib/finite_lambda/reduction.ma diff --git a/matita/matita/lib/finite_lambda/terms_and_types.ma b/matita/matita/broken_lib/finite_lambda/terms_and_types.ma similarity index 100% rename from matita/matita/lib/finite_lambda/terms_and_types.ma rename to matita/matita/broken_lib/finite_lambda/terms_and_types.ma diff --git a/matita/matita/lib/finite_lambda/typing.ma b/matita/matita/broken_lib/finite_lambda/typing.ma similarity index 100% rename from matita/matita/lib/finite_lambda/typing.ma rename to matita/matita/broken_lib/finite_lambda/typing.ma diff --git a/matita/matita/lib/reverse_complexity/big_O.ma b/matita/matita/broken_lib/reverse_complexity/big_O.ma similarity index 100% rename from matita/matita/lib/reverse_complexity/big_O.ma rename to matita/matita/broken_lib/reverse_complexity/big_O.ma diff --git a/matita/matita/lib/reverse_complexity/gap.ma b/matita/matita/broken_lib/reverse_complexity/gap.ma similarity index 100% rename from matita/matita/lib/reverse_complexity/gap.ma rename to matita/matita/broken_lib/reverse_complexity/gap.ma diff --git a/matita/matita/lib/reverse_complexity/hierarchy.ma b/matita/matita/broken_lib/reverse_complexity/hierarchy.ma similarity index 100% rename from matita/matita/lib/reverse_complexity/hierarchy.ma rename to matita/matita/broken_lib/reverse_complexity/hierarchy.ma diff --git a/matita/matita/lib/reverse_complexity/speed_clean.ma b/matita/matita/broken_lib/reverse_complexity/speed_clean.ma similarity index 100% rename from matita/matita/lib/reverse_complexity/speed_clean.ma rename to matita/matita/broken_lib/reverse_complexity/speed_clean.ma diff --git a/matita/matita/lib/reverse_complexity/speed_def.ma b/matita/matita/broken_lib/reverse_complexity/speed_def.ma similarity index 100% rename from matita/matita/lib/reverse_complexity/speed_def.ma rename to matita/matita/broken_lib/reverse_complexity/speed_def.ma diff --git a/matita/matita/lib/reverse_complexity/speed_new.ma b/matita/matita/broken_lib/reverse_complexity/speed_new.ma similarity index 100% rename from matita/matita/lib/reverse_complexity/speed_new.ma rename to matita/matita/broken_lib/reverse_complexity/speed_new.ma diff --git a/matita/matita/lib/reverse_complexity/toolkit.ma b/matita/matita/broken_lib/reverse_complexity/toolkit.ma similarity index 100% rename from matita/matita/lib/reverse_complexity/toolkit.ma rename to matita/matita/broken_lib/reverse_complexity/toolkit.ma diff --git a/matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma b/matita/matita/broken_lib/turing/multi_to_mono/multi_to_mono.ma similarity index 100% rename from matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma rename to matita/matita/broken_lib/turing/multi_to_mono/multi_to_mono.ma -- 2.39.2