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