From 06a302b1d22d033d50f06109b31c2f503cdf2638 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi 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 matita/contribs/developments.txt | 1 - 5 files changed, 1 deletion(-) rename matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/C/defs.ma (100%) rename matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/Inc/defs.ma (100%) rename matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/Lift/defs.ma (100%) rename matita/contribs/LAMBDA-TYPES/Unified/{ => SUB}/P/defs.ma (100%) diff --git a/matita/contribs/LAMBDA-TYPES/Unified/C/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/C/defs.ma similarity index 100% rename from matita/contribs/LAMBDA-TYPES/Unified/C/defs.ma rename to matita/contribs/LAMBDA-TYPES/Unified/SUB/C/defs.ma diff --git a/matita/contribs/LAMBDA-TYPES/Unified/Inc/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma similarity index 100% rename from matita/contribs/LAMBDA-TYPES/Unified/Inc/defs.ma rename to matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma diff --git a/matita/contribs/LAMBDA-TYPES/Unified/Lift/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma similarity index 100% rename from matita/contribs/LAMBDA-TYPES/Unified/Lift/defs.ma rename to matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma diff --git a/matita/contribs/LAMBDA-TYPES/Unified/P/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma similarity index 100% rename from matita/contribs/LAMBDA-TYPES/Unified/P/defs.ma rename to matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt index 4d5044941..503e8b7a2 100644 --- a/matita/contribs/developments.txt +++ b/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