TPTP/Veloci/GRP116-1.p.ma logic/equality.ma
coercions.ma nat/compare.ma nat/times.ma
TPTP/Veloci/GRP011-4.p.ma logic/equality.ma
TPTP/Veloci/GRP149-1.p.ma logic/equality.ma
TPTP/Veloci/COL013-1.p.ma logic/equality.ma
TPTP/Veloci/GRP116-1.p.ma logic/equality.ma
coercions.ma nat/compare.ma nat/times.ma
TPTP/Veloci/GRP011-4.p.ma logic/equality.ma
TPTP/Veloci/GRP149-1.p.ma logic/equality.ma
TPTP/Veloci/COL013-1.p.ma logic/equality.ma