From cadde4128694655a6df2e01b6c6a6e6913ee6096 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 27 Jun 2006 09:40:34 +0000 Subject: [PATCH] file names patched --- .../contribs/RELATIONAL-ARITHMETICS/{add_gen.ma => add_fwd.ma} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/contribs/RELATIONAL-ARITHMETICS/{add_gen.ma => add_fwd.ma} (100%) diff --git a/helm/software/matita/contribs/RELATIONAL-ARITHMETICS/add_gen.ma b/helm/software/matita/contribs/RELATIONAL-ARITHMETICS/add_fwd.ma similarity index 100% rename from helm/software/matita/contribs/RELATIONAL-ARITHMETICS/add_gen.ma rename to helm/software/matita/contribs/RELATIONAL-ARITHMETICS/add_fwd.ma -- 2.39.2