TPTP/Veloci/LCL110-2.p.ma logic/equality.ma
TPTP/Veloci/GRP491-1.p.ma logic/equality.ma
TPTP/Veloci/COL061-3.p.ma logic/equality.ma
TPTP/Veloci/COL017-1.p.ma logic/equality.ma
TPTP/Veloci/GRP613-1.p.ma logic/equality.ma
compose.ma logic/equality.ma
TPTP/Veloci/LCL110-2.p.ma logic/equality.ma
TPTP/Veloci/GRP491-1.p.ma logic/equality.ma
TPTP/Veloci/COL061-3.p.ma logic/equality.ma
TPTP/Veloci/COL017-1.p.ma logic/equality.ma
TPTP/Veloci/GRP613-1.p.ma logic/equality.ma
compose.ma logic/equality.ma