From c2a685aa0cfe62c79a278dab0752982442d3ac9a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 15 Oct 2007 11:29:21 +0000 Subject: [PATCH] discriminate.ma => destruct.ma --- helm/software/matita/tests/{discriminate.ma => destruct.ma} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/tests/{discriminate.ma => destruct.ma} (100%) diff --git a/helm/software/matita/tests/discriminate.ma b/helm/software/matita/tests/destruct.ma similarity index 100% rename from helm/software/matita/tests/discriminate.ma rename to helm/software/matita/tests/destruct.ma -- 2.39.2