From 4f1bd2790a4448a8ebfbe67eb8baa481c124745c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 26 Aug 2007 16:36:34 +0000 Subject: [PATCH] refactoring --- helm/software/matita/contribs/LOGIC/{Track => NTrack}/defs.ma | 0 helm/software/matita/contribs/LOGIC/{Track => NTrack}/inv.ma | 0 helm/software/matita/contribs/LOGIC/{Track => NTrack}/order.ma | 0 helm/software/matita/contribs/LOGIC/{Track => NTrack}/props.ma | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/contribs/LOGIC/{Track => NTrack}/defs.ma (100%) rename helm/software/matita/contribs/LOGIC/{Track => NTrack}/inv.ma (100%) rename helm/software/matita/contribs/LOGIC/{Track => NTrack}/order.ma (100%) rename helm/software/matita/contribs/LOGIC/{Track => NTrack}/props.ma (100%) diff --git a/helm/software/matita/contribs/LOGIC/Track/defs.ma b/helm/software/matita/contribs/LOGIC/NTrack/defs.ma similarity index 100% rename from helm/software/matita/contribs/LOGIC/Track/defs.ma rename to helm/software/matita/contribs/LOGIC/NTrack/defs.ma diff --git a/helm/software/matita/contribs/LOGIC/Track/inv.ma b/helm/software/matita/contribs/LOGIC/NTrack/inv.ma similarity index 100% rename from helm/software/matita/contribs/LOGIC/Track/inv.ma rename to helm/software/matita/contribs/LOGIC/NTrack/inv.ma diff --git a/helm/software/matita/contribs/LOGIC/Track/order.ma b/helm/software/matita/contribs/LOGIC/NTrack/order.ma similarity index 100% rename from helm/software/matita/contribs/LOGIC/Track/order.ma rename to helm/software/matita/contribs/LOGIC/NTrack/order.ma diff --git a/helm/software/matita/contribs/LOGIC/Track/props.ma b/helm/software/matita/contribs/LOGIC/NTrack/props.ma similarity index 100% rename from helm/software/matita/contribs/LOGIC/Track/props.ma rename to helm/software/matita/contribs/LOGIC/NTrack/props.ma -- 2.39.2