"datatypes/pairs.ma" [];
"datatypes/pairs.ma" -> "logic/pts.ma" [];
"algebra/abelian_magmas.ma" [];
"algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];
"datatypes/pairs.ma" [];
"datatypes/pairs.ma" -> "logic/pts.ma" [];
"algebra/abelian_magmas.ma" [];
"algebra/abelian_magmas.ma" -> "algebra/magmas.ma" [];