From e2c7f456a6d13e86c720104db16c9b28e5933e18 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 18 Jan 2007 15:08:29 +0000 Subject: [PATCH] Unified refactoring --- .../matita/contribs/LAMBDA-TYPES/Unified/SUB/{P => T}/defs.ma | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/{P => T}/defs.ma (100%) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/T/defs.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/P/defs.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/T/defs.ma -- 2.39.2