From f1f445457c73202fd696c1b9fe0b24c0bafe2452 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 15 Nov 2008 13:17:00 +0000 Subject: [PATCH] housekeeping --- .../{contribs/didactic => library/didactic/exercises}/Makefile | 0 .../{contribs/didactic => library/didactic/exercises}/duality.ma | 0 .../{contribs/didactic => library/didactic/exercises}/shannon.ma | 0 .../induction.ma => library/didactic/exercises/substitution.ma} | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/{contribs/didactic => library/didactic/exercises}/Makefile (100%) rename helm/software/matita/{contribs/didactic => library/didactic/exercises}/duality.ma (100%) rename helm/software/matita/{contribs/didactic => library/didactic/exercises}/shannon.ma (100%) rename helm/software/matita/{contribs/didactic/induction.ma => library/didactic/exercises/substitution.ma} (100%) diff --git a/helm/software/matita/contribs/didactic/Makefile b/helm/software/matita/library/didactic/exercises/Makefile similarity index 100% rename from helm/software/matita/contribs/didactic/Makefile rename to helm/software/matita/library/didactic/exercises/Makefile diff --git a/helm/software/matita/contribs/didactic/duality.ma b/helm/software/matita/library/didactic/exercises/duality.ma similarity index 100% rename from helm/software/matita/contribs/didactic/duality.ma rename to helm/software/matita/library/didactic/exercises/duality.ma diff --git a/helm/software/matita/contribs/didactic/shannon.ma b/helm/software/matita/library/didactic/exercises/shannon.ma similarity index 100% rename from helm/software/matita/contribs/didactic/shannon.ma rename to helm/software/matita/library/didactic/exercises/shannon.ma diff --git a/helm/software/matita/contribs/didactic/induction.ma b/helm/software/matita/library/didactic/exercises/substitution.ma similarity index 100% rename from helm/software/matita/contribs/didactic/induction.ma rename to helm/software/matita/library/didactic/exercises/substitution.ma -- 2.39.2