From e691c765eb67e06399ea8013c0825b4eecd34210 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 7 Feb 2007 18:35:46 +0000 Subject: [PATCH] Level-1 refactored --- .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/blt/defs.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/blt/props.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/ext/arith.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/ext/tactics.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/makefile | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/plist/defs.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/plist/props.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/preamble.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/spare.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/theory.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/types/defs.ma | 0 .../matita/contribs/LAMBDA-TYPES/{Base => Base-1}/types/props.ma | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/blt/defs.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/blt/props.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/ext/arith.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/ext/tactics.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/makefile (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/plist/defs.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/plist/props.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/preamble.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/spare.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/theory.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/types/defs.ma (100%) rename helm/software/matita/contribs/LAMBDA-TYPES/{Base => Base-1}/types/props.ma (100%) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/blt/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/blt/defs.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/blt/defs.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/blt/defs.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/blt/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/blt/props.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/blt/props.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/blt/props.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/ext/arith.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/ext/arith.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/ext/arith.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/ext/arith.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/ext/tactics.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/ext/tactics.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/ext/tactics.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/ext/tactics.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/makefile similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/makefile rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/makefile diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/plist/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/plist/defs.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/plist/defs.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/plist/defs.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/plist/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/plist/props.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/plist/props.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/plist/props.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/preamble.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/preamble.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/spare.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/spare.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/theory.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/theory.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/theory.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/theory.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/types/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/defs.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/types/defs.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/defs.ma diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base/types/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/props.ma similarity index 100% rename from helm/software/matita/contribs/LAMBDA-TYPES/Base/types/props.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/props.ma -- 2.39.2