From 6c2b6d916f0d84b00153c717e1c933895420af69 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Nov 2007 16:40:30 +0000 Subject: [PATCH] renamed ordered sets into excedence.ma --- helm/software/matita/dama/{ordered_sets.ma => excedence.ma} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/dama/{ordered_sets.ma => excedence.ma} (100%) diff --git a/helm/software/matita/dama/ordered_sets.ma b/helm/software/matita/dama/excedence.ma similarity index 100% rename from helm/software/matita/dama/ordered_sets.ma rename to helm/software/matita/dama/excedence.ma -- 2.39.2