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