helm/software/matita/contribs/ng_TPTP/CASC_2008/depends

   1 GRP184-3.ma logic/equality.ma
   2 COL006-6.ma logic/equality.ma
   3 GRP444-1.ma logic/equality.ma
   4 COL049-1.ma logic/equality.ma
   5 GRP471-1.ma logic/equality.ma
   6 LAT159-1.ma logic/equality.ma
   7 COL046-1.ma logic/equality.ma
   8 BOO034-1.ma logic/equality.ma
   9 COL044-8.ma logic/equality.ma
  10 LAT156-1.ma logic/equality.ma
  11 BOO031-1.ma logic/equality.ma
  12 GRP508-1.ma logic/equality.ma
  13 GRP014-1.ma logic/equality.ma
  14 LAT152-1.ma logic/equality.ma
  15 GRP506-1.ma logic/equality.ma
  16 GRP167-1.ma logic/equality.ma
  17 BOO007-4.ma logic/equality.ma
  18 COL011-1.ma logic/equality.ma
  19 GRP186-2.ma logic/equality.ma
  20 LAT087-1.ma logic/equality.ma
  21 RNG019-7.ma logic/equality.ma
  22 RNG026-6.ma logic/equality.ma
  23 GRP185-2.ma logic/equality.ma
  24 RNG028-9.ma logic/equality.ma
  25 COL003-12.ma logic/equality.ma
  26 RNG020-6.ma logic/equality.ma
  27 LAT080-1.ma logic/equality.ma
  28 GRP405-1.ma logic/equality.ma
  29 COL003-20.ma logic/equality.ma
  30 COL038-1.ma logic/equality.ma
  31 GRP404-1.ma logic/equality.ma
  32 COL065-1.ma logic/equality.ma
  33 LAT148-1.ma logic/equality.ma
  34 COL037-1.ma logic/equality.ma
  35 LAT175-1.ma logic/equality.ma
  36 COL064-1.ma logic/equality.ma
  37 COL063-1.ma logic/equality.ma
  38 LAT146-1.ma logic/equality.ma
  39 LAT173-1.ma logic/equality.ma
  40 COL061-1.ma logic/equality.ma
  41 COL060-1.ma logic/equality.ma
  42 GRP187-1.ma logic/equality.ma
  43 LAT170-1.ma logic/equality.ma
  44 GRP186-1.ma logic/equality.ma
  45 COL003-1.ma logic/equality.ma
  46 RNG019-6.ma logic/equality.ma
  47 GRP178-2.ma logic/equality.ma
  48 GRP184-1.ma logic/equality.ma
  49 LAT140-1.ma logic/equality.ma
  50 COL043-3.ma logic/equality.ma
  51 ROB006-2.ma logic/equality.ma
  52 GRP114-1.ma logic/equality.ma
  53 RNG009-7.ma logic/equality.ma
  54 RNG035-7.ma logic/equality.ma
  55 GRP024-5.ma logic/equality.ma
  56 BOO076-1.ma logic/equality.ma
  57 GRP453-1.ma logic/equality.ma
  58 GRP183-4.ma logic/equality.ma
  59 GRP452-1.ma logic/equality.ma
  60 LAT169-1.ma logic/equality.ma
  61 BOO073-1.ma logic/equality.ma
  62 COL057-1.ma logic/equality.ma
  63 GRP423-1.ma logic/equality.ma
  64 GRP422-1.ma logic/equality.ma
  65 GRP181-4.ma logic/equality.ma
  66 BOO072-1.ma logic/equality.ma
  67 LAT166-1.ma logic/equality.ma
  68 LAT138-1.ma logic/equality.ma
  69 BOO007-2.ma logic/equality.ma
  70 LAT165-1.ma logic/equality.ma
  71 LAT164-1.ma logic/equality.ma
  72 GRP202-1.ma logic/equality.ma
  73 GRP200-1.ma logic/equality.ma
  74 ROB006-1.ma logic/equality.ma
  75 RNG029-7.ma logic/equality.ma
  76 GRP477-1.ma logic/equality.ma
  77 RNG027-7.ma logic/equality.ma
  78 GRP164-2.ma logic/equality.ma
  79 GRP185-3.ma logic/equality.ma
  80 LAT093-1.ma logic/equality.ma
  81 logic/equality.ma