developments fixup

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
index abadf7bd82227e530bf973a8fef8c79dd32ee3a6..285c55b99f427f4cb8c5b90cb3394d4f22dbec1d 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
@@ -1,6 +1,6 @@
 GOALS = all opt clean clean.opt
 
-DEVELS = Base-1 LambdaDelta-1 Unified
+DEVELS = Base-1 LambdaDelta-1 Unified-Sub
 
 $(GOALS): 
        @$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;) 

diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt
index 503e8b7a2d342d6de1148aebb02dd7c16ebd41ca..8309258afe1dc55bb9526bc0e0795be3ef0cf611 100644 (file)
--- a/helm/software/matita/contribs/developments.txt
+++ b/helm/software/matita/contribs/developments.txt
@@ -6,6 +6,6 @@ software/matita/tests
 software/matita/dama
 software/matita/contribs/PREDICATIVE-TOPOLOGY
 software/matita/contribs/RELATIONAL
-software/matita/contribs/LAMBDA-TYPES/Unified
-software/matita/contribs/LAMBDA-TYPES/Level-1/Base
-software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta
+software/matita/contribs/LAMBDA-TYPES/Unified-Sub
+software/matita/contribs/LAMBDA-TYPES/Base-1
+software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1

diff --git a/helm/software/matita/contribs/prova.ma b/helm/software/matita/contribs/prova.ma
index a2012b12f2ca6a18ee633d6d68c3861fd7442d4d..cab82e7df9b09ac54a392492fa123b70b23e8c95 100644 (file)
--- a/helm/software/matita/contribs/prova.ma
+++ b/helm/software/matita/contribs/prova.ma
@@ -14,7 +14,7 @@
 
 set "baseuri" "cic:/matita/test/prova".
 
-include "../contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma".
+include "LAMBDA-TYPES/LambdaDelta-1/preamble.ma".
 
 alias id "Abst" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs/B.ind#xpointer(1/1/2)".
 alias id "Abbr" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs/B.ind#xpointer(1/1/1)".