From aa9654656f7d0aeb9345e0b86a9e35f861687580 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 1 Feb 2013 16:37:41 +0000
Subject: [PATCH] lambda finaly moved in lib

---
 matita/matita/contribs/lambda/root                              | 1 -
 matita/matita/{contribs => lib}/lambda/Makefile                 | 2 +-
 matita/matita/{contribs => lib}/lambda/background/notation.ma   | 0
 matita/matita/{contribs => lib}/lambda/background/preamble.ma   | 0
 matita/matita/{contribs => lib}/lambda/background/xoa.ma        | 0
 .../matita/{contribs => lib}/lambda/background/xoa_notation.ma  | 0
 .../lambda/paths/alternative_standard_order.ma                  | 0
 .../matita/{contribs => lib}/lambda/paths/decomposed_trace.ma   | 0
 matita/matita/{contribs => lib}/lambda/paths/dst_computation.ma | 0
 .../lambda/paths/labeled_sequential_computation.ma              | 0
 .../lambda/paths/labeled_sequential_reduction.ma                | 0
 .../{contribs => lib}/lambda/paths/labeled_st_computation.ma    | 0
 .../{contribs => lib}/lambda/paths/labeled_st_reduction.ma      | 0
 matita/matita/{contribs => lib}/lambda/paths/path.ma            | 0
 matita/matita/{contribs => lib}/lambda/paths/standard_order.ma  | 0
 .../{contribs => lib}/lambda/paths/standard_precedence.ma       | 0
 matita/matita/{contribs => lib}/lambda/paths/standard_trace.ma  | 0
 matita/matita/{contribs => lib}/lambda/paths/trace.ma           | 0
 matita/matita/{contribs => lib}/lambda/policy.txt               | 0
 matita/matita/{contribs => lib}/lambda/replace.sh               | 0
 matita/matita/{contribs => lib}/lambda/subterms/boolean.ma      | 0
 matita/matita/{contribs => lib}/lambda/subterms/booleanized.ma  | 0
 matita/matita/{contribs => lib}/lambda/subterms/carrier.ma      | 0
 .../lambda/subterms/relocating_substitution.ma                  | 0
 matita/matita/{contribs => lib}/lambda/subterms/relocation.ma   | 0
 matita/matita/{contribs => lib}/lambda/subterms/subterms.ma     | 0
 .../lambda/terms/labeled_sequential_computation.ma              | 0
 matita/matita/{contribs => lib}/lambda/terms/multiplicity.ma    | 0
 .../{contribs => lib}/lambda/terms/parallel_computation.ma      | 0
 .../matita/{contribs => lib}/lambda/terms/parallel_reduction.ma | 0
 .../{contribs => lib}/lambda/terms/relocating_substitution.ma   | 0
 matita/matita/{contribs => lib}/lambda/terms/relocation.ma      | 0
 .../{contribs => lib}/lambda/terms/sequential_computation.ma    | 0
 .../{contribs => lib}/lambda/terms/sequential_reduction.ma      | 0
 matita/matita/{contribs => lib}/lambda/terms/size.ma            | 0
 matita/matita/{contribs => lib}/lambda/terms/term.ma            | 0
 matita/matita/{contribs => lib}/lambda/xoa.conf.xml             | 0
 37 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 matita/matita/contribs/lambda/root
 rename matita/matita/{contribs => lib}/lambda/Makefile (96%)
 rename matita/matita/{contribs => lib}/lambda/background/notation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/background/preamble.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/background/xoa.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/background/xoa_notation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/alternative_standard_order.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/decomposed_trace.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/dst_computation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/labeled_sequential_computation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/labeled_sequential_reduction.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/labeled_st_computation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/labeled_st_reduction.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/path.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/standard_order.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/standard_precedence.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/standard_trace.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/paths/trace.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/policy.txt (100%)
 rename matita/matita/{contribs => lib}/lambda/replace.sh (100%)
 rename matita/matita/{contribs => lib}/lambda/subterms/boolean.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/subterms/booleanized.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/subterms/carrier.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/subterms/relocating_substitution.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/subterms/relocation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/subterms/subterms.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/labeled_sequential_computation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/multiplicity.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/parallel_computation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/parallel_reduction.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/relocating_substitution.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/relocation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/sequential_computation.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/sequential_reduction.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/size.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/terms/term.ma (100%)
 rename matita/matita/{contribs => lib}/lambda/xoa.conf.xml (100%)

diff --git a/matita/matita/contribs/lambda/root b/matita/matita/contribs/lambda/root
deleted file mode 100644
index 183f1bc68..000000000
--- a/matita/matita/contribs/lambda/root
+++ /dev/null
@@ -1 +0,0 @@
-baseuri=cic:/matita/lambda/
diff --git a/matita/matita/contribs/lambda/Makefile b/matita/matita/lib/lambda/Makefile
similarity index 96%
rename from matita/matita/contribs/lambda/Makefile
rename to matita/matita/lib/lambda/Makefile
index b8f68bb83..b715eb42a 100644
--- a/matita/matita/contribs/lambda/Makefile
+++ b/matita/matita/lib/lambda/Makefile
@@ -10,7 +10,7 @@ XOA_CONF    = xoa.conf.xml
 XOA_TARGETS = background/xoa_notation.ma background/xoa.ma
 
 all: xoa
-	$(H)../../matitac.opt
+	$(H)../../matitac.opt */*.ma
 
 # xoa ########################################################################
 
diff --git a/matita/matita/contribs/lambda/background/notation.ma b/matita/matita/lib/lambda/background/notation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/background/notation.ma
rename to matita/matita/lib/lambda/background/notation.ma
diff --git a/matita/matita/contribs/lambda/background/preamble.ma b/matita/matita/lib/lambda/background/preamble.ma
similarity index 100%
rename from matita/matita/contribs/lambda/background/preamble.ma
rename to matita/matita/lib/lambda/background/preamble.ma
diff --git a/matita/matita/contribs/lambda/background/xoa.ma b/matita/matita/lib/lambda/background/xoa.ma
similarity index 100%
rename from matita/matita/contribs/lambda/background/xoa.ma
rename to matita/matita/lib/lambda/background/xoa.ma
diff --git a/matita/matita/contribs/lambda/background/xoa_notation.ma b/matita/matita/lib/lambda/background/xoa_notation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/background/xoa_notation.ma
rename to matita/matita/lib/lambda/background/xoa_notation.ma
diff --git a/matita/matita/contribs/lambda/paths/alternative_standard_order.ma b/matita/matita/lib/lambda/paths/alternative_standard_order.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/alternative_standard_order.ma
rename to matita/matita/lib/lambda/paths/alternative_standard_order.ma
diff --git a/matita/matita/contribs/lambda/paths/decomposed_trace.ma b/matita/matita/lib/lambda/paths/decomposed_trace.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/decomposed_trace.ma
rename to matita/matita/lib/lambda/paths/decomposed_trace.ma
diff --git a/matita/matita/contribs/lambda/paths/dst_computation.ma b/matita/matita/lib/lambda/paths/dst_computation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/dst_computation.ma
rename to matita/matita/lib/lambda/paths/dst_computation.ma
diff --git a/matita/matita/contribs/lambda/paths/labeled_sequential_computation.ma b/matita/matita/lib/lambda/paths/labeled_sequential_computation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/labeled_sequential_computation.ma
rename to matita/matita/lib/lambda/paths/labeled_sequential_computation.ma
diff --git a/matita/matita/contribs/lambda/paths/labeled_sequential_reduction.ma b/matita/matita/lib/lambda/paths/labeled_sequential_reduction.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/labeled_sequential_reduction.ma
rename to matita/matita/lib/lambda/paths/labeled_sequential_reduction.ma
diff --git a/matita/matita/contribs/lambda/paths/labeled_st_computation.ma b/matita/matita/lib/lambda/paths/labeled_st_computation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/labeled_st_computation.ma
rename to matita/matita/lib/lambda/paths/labeled_st_computation.ma
diff --git a/matita/matita/contribs/lambda/paths/labeled_st_reduction.ma b/matita/matita/lib/lambda/paths/labeled_st_reduction.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/labeled_st_reduction.ma
rename to matita/matita/lib/lambda/paths/labeled_st_reduction.ma
diff --git a/matita/matita/contribs/lambda/paths/path.ma b/matita/matita/lib/lambda/paths/path.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/path.ma
rename to matita/matita/lib/lambda/paths/path.ma
diff --git a/matita/matita/contribs/lambda/paths/standard_order.ma b/matita/matita/lib/lambda/paths/standard_order.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/standard_order.ma
rename to matita/matita/lib/lambda/paths/standard_order.ma
diff --git a/matita/matita/contribs/lambda/paths/standard_precedence.ma b/matita/matita/lib/lambda/paths/standard_precedence.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/standard_precedence.ma
rename to matita/matita/lib/lambda/paths/standard_precedence.ma
diff --git a/matita/matita/contribs/lambda/paths/standard_trace.ma b/matita/matita/lib/lambda/paths/standard_trace.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/standard_trace.ma
rename to matita/matita/lib/lambda/paths/standard_trace.ma
diff --git a/matita/matita/contribs/lambda/paths/trace.ma b/matita/matita/lib/lambda/paths/trace.ma
similarity index 100%
rename from matita/matita/contribs/lambda/paths/trace.ma
rename to matita/matita/lib/lambda/paths/trace.ma
diff --git a/matita/matita/contribs/lambda/policy.txt b/matita/matita/lib/lambda/policy.txt
similarity index 100%
rename from matita/matita/contribs/lambda/policy.txt
rename to matita/matita/lib/lambda/policy.txt
diff --git a/matita/matita/contribs/lambda/replace.sh b/matita/matita/lib/lambda/replace.sh
similarity index 100%
rename from matita/matita/contribs/lambda/replace.sh
rename to matita/matita/lib/lambda/replace.sh
diff --git a/matita/matita/contribs/lambda/subterms/boolean.ma b/matita/matita/lib/lambda/subterms/boolean.ma
similarity index 100%
rename from matita/matita/contribs/lambda/subterms/boolean.ma
rename to matita/matita/lib/lambda/subterms/boolean.ma
diff --git a/matita/matita/contribs/lambda/subterms/booleanized.ma b/matita/matita/lib/lambda/subterms/booleanized.ma
similarity index 100%
rename from matita/matita/contribs/lambda/subterms/booleanized.ma
rename to matita/matita/lib/lambda/subterms/booleanized.ma
diff --git a/matita/matita/contribs/lambda/subterms/carrier.ma b/matita/matita/lib/lambda/subterms/carrier.ma
similarity index 100%
rename from matita/matita/contribs/lambda/subterms/carrier.ma
rename to matita/matita/lib/lambda/subterms/carrier.ma
diff --git a/matita/matita/contribs/lambda/subterms/relocating_substitution.ma b/matita/matita/lib/lambda/subterms/relocating_substitution.ma
similarity index 100%
rename from matita/matita/contribs/lambda/subterms/relocating_substitution.ma
rename to matita/matita/lib/lambda/subterms/relocating_substitution.ma
diff --git a/matita/matita/contribs/lambda/subterms/relocation.ma b/matita/matita/lib/lambda/subterms/relocation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/subterms/relocation.ma
rename to matita/matita/lib/lambda/subterms/relocation.ma
diff --git a/matita/matita/contribs/lambda/subterms/subterms.ma b/matita/matita/lib/lambda/subterms/subterms.ma
similarity index 100%
rename from matita/matita/contribs/lambda/subterms/subterms.ma
rename to matita/matita/lib/lambda/subterms/subterms.ma
diff --git a/matita/matita/contribs/lambda/terms/labeled_sequential_computation.ma b/matita/matita/lib/lambda/terms/labeled_sequential_computation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/labeled_sequential_computation.ma
rename to matita/matita/lib/lambda/terms/labeled_sequential_computation.ma
diff --git a/matita/matita/contribs/lambda/terms/multiplicity.ma b/matita/matita/lib/lambda/terms/multiplicity.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/multiplicity.ma
rename to matita/matita/lib/lambda/terms/multiplicity.ma
diff --git a/matita/matita/contribs/lambda/terms/parallel_computation.ma b/matita/matita/lib/lambda/terms/parallel_computation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/parallel_computation.ma
rename to matita/matita/lib/lambda/terms/parallel_computation.ma
diff --git a/matita/matita/contribs/lambda/terms/parallel_reduction.ma b/matita/matita/lib/lambda/terms/parallel_reduction.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/parallel_reduction.ma
rename to matita/matita/lib/lambda/terms/parallel_reduction.ma
diff --git a/matita/matita/contribs/lambda/terms/relocating_substitution.ma b/matita/matita/lib/lambda/terms/relocating_substitution.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/relocating_substitution.ma
rename to matita/matita/lib/lambda/terms/relocating_substitution.ma
diff --git a/matita/matita/contribs/lambda/terms/relocation.ma b/matita/matita/lib/lambda/terms/relocation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/relocation.ma
rename to matita/matita/lib/lambda/terms/relocation.ma
diff --git a/matita/matita/contribs/lambda/terms/sequential_computation.ma b/matita/matita/lib/lambda/terms/sequential_computation.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/sequential_computation.ma
rename to matita/matita/lib/lambda/terms/sequential_computation.ma
diff --git a/matita/matita/contribs/lambda/terms/sequential_reduction.ma b/matita/matita/lib/lambda/terms/sequential_reduction.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/sequential_reduction.ma
rename to matita/matita/lib/lambda/terms/sequential_reduction.ma
diff --git a/matita/matita/contribs/lambda/terms/size.ma b/matita/matita/lib/lambda/terms/size.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/size.ma
rename to matita/matita/lib/lambda/terms/size.ma
diff --git a/matita/matita/contribs/lambda/terms/term.ma b/matita/matita/lib/lambda/terms/term.ma
similarity index 100%
rename from matita/matita/contribs/lambda/terms/term.ma
rename to matita/matita/lib/lambda/terms/term.ma
diff --git a/matita/matita/contribs/lambda/xoa.conf.xml b/matita/matita/lib/lambda/xoa.conf.xml
similarity index 100%
rename from matita/matita/contribs/lambda/xoa.conf.xml
rename to matita/matita/lib/lambda/xoa.conf.xml
-- 
2.39.2