From c6c735136c2fe236c6b7284e7b768d87c96a4537 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 20 Mar 2006 16:32:32 +0000 Subject: [PATCH] Renamed SK.ma into bool.ma --- helm/software/matita/tests/{SK.ma => bool.ma} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/tests/{SK.ma => bool.ma} (100%) diff --git a/helm/software/matita/tests/SK.ma b/helm/software/matita/tests/bool.ma similarity index 100% rename from helm/software/matita/tests/SK.ma rename to helm/software/matita/tests/bool.ma -- 2.39.2