From d22268d5af7c9f0ccda8f75a0e6f9d21028418bd Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Oct 2009 15:28:50 +0000 Subject: [PATCH] ... --- helm/software/matita/nlibrary/depends | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends index 9d21d9838..c5d90654b 100644 --- a/helm/software/matita/nlibrary/depends +++ b/helm/software/matita/nlibrary/depends @@ -8,7 +8,6 @@ sets/setoids.ma logic/connectives.ma properties/relations.ma logic/connectives.ma logic/pts.ma datatypes/pairs.ma logic/pts.ma algebra/abelian_magmas.ma algebra/magmas.ma -topology/igft-setoid.ma sets/sets.ma nat/plus.ma algebra/abelian_magmas.ma algebra/unital_magmas.ma nat/big_ops.ma nat/minus.ma nat/order.ma algebra/magmas.ma sets/sets.ma -- 2.39.2