"sets/sets.ma" -> "logic/connectives.ma" [];
"sets/sets.ma" -> "logic/cprop.ma" [];
"sets/sets.ma" -> "properties/relations1.ma" [];
"sets/sets.ma" -> "sets/setoids1.ma" [];
"topology/igft.ma" [];
"sets/sets.ma" -> "logic/connectives.ma" [];
"sets/sets.ma" -> "logic/cprop.ma" [];
"sets/sets.ma" -> "properties/relations1.ma" [];
"sets/sets.ma" -> "sets/setoids1.ma" [];
"topology/igft.ma" [];