TPTP/Veloci/GRP615-1.p.ma logic/equality.ma
TPTP/Veloci/LAT039-1.p.ma logic/equality.ma
luo.ma Z/times.ma logic/equality.ma
TPTP/Veloci/GRP022-2.p.ma logic/equality.ma
TPTP/Veloci/GRP186-3.p.ma logic/equality.ma
coercions_russell.ma datatypes/bool.ma datatypes/constructors.ma list/list.ma list/sort.ma nat/compare.ma nat/orders.ma
TPTP/Veloci/GRP615-1.p.ma logic/equality.ma
TPTP/Veloci/LAT039-1.p.ma logic/equality.ma
luo.ma Z/times.ma logic/equality.ma
TPTP/Veloci/GRP022-2.p.ma logic/equality.ma
TPTP/Veloci/GRP186-3.p.ma logic/equality.ma
coercions_russell.ma datatypes/bool.ma datatypes/constructors.ma list/list.ma list/sort.ma nat/compare.ma nat/orders.ma