From 803d665cbff289f5e5340b9db137f1c4685b43f9 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 18 Jan 2007 14:49:03 +0000
Subject: [PATCH] Unified: refactoring

---
 .../matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/C/defs.ma     | 0
 .../matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/Inc/defs.ma   | 0
 .../matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/Lift/defs.ma  | 0
 .../matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/P/defs.ma     | 0
 helm/software/matita/contribs/developments.txt                   | 1 -
 5 files changed, 1 deletion(-)
 rename helm/software/matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/C/defs.ma (100%)
 rename helm/software/matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/Inc/defs.ma (100%)
 rename helm/software/matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/Lift/defs.ma (100%)
 rename helm/software/matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/P/defs.ma (100%)

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Unified/C/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/C/defs.ma
similarity index 100%
rename from helm/software/matita/contribs/LAMBDA-TYPES/Unified/C/defs.ma
rename to helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/C/defs.ma
diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Unified/Inc/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma
similarity index 100%
rename from helm/software/matita/contribs/LAMBDA-TYPES/Unified/Inc/defs.ma
rename to helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma
diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Unified/Lift/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma
similarity index 100%
rename from helm/software/matita/contribs/LAMBDA-TYPES/Unified/Lift/defs.ma
rename to helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma
diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Unified/P/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma
similarity index 100%
rename from helm/software/matita/contribs/LAMBDA-TYPES/Unified/P/defs.ma
rename to helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma
diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt
index 4d5044941..503e8b7a2 100644
--- a/helm/software/matita/contribs/developments.txt
+++ b/helm/software/matita/contribs/developments.txt
@@ -4,7 +4,6 @@ software/matita/legacy
 software/matita/library
 software/matita/tests
 software/matita/dama
-software/matita/contribs/CoRN
 software/matita/contribs/PREDICATIVE-TOPOLOGY
 software/matita/contribs/RELATIONAL
 software/matita/contribs/LAMBDA-TYPES/Unified
-- 
2.39.2