matita/matita/contribs/TPTP/depends

   1 HEQ/LCL224-3.ma logic/equality.ma
   2 HEQ/LCL281-3.ma logic/equality.ma
   3 HEQ/LCL195-3.ma logic/equality.ma
   4 HEQ/LCL319-3.ma logic/equality.ma
   5 HEQ/LCL314-3.ma logic/equality.ma
   6 HEQ/HWC003-1.ma logic/equality.ma
   7 HEQ/LCL218-3.ma logic/equality.ma
   8 HEQ/LCL275-3.ma logic/equality.ma
   9 HEQ/LCL213-3.ma logic/equality.ma
  10 HEQ/LCL270-3.ma logic/equality.ma
  11 HEQ/LCL174-3.ma logic/equality.ma
  12 HEQ/LCL308-3.ma logic/equality.ma
  13 HEQ/LCL269-3.ma logic/equality.ma
  14 HEQ/LCL303-3.ma logic/equality.ma
  15 HEQ/LCL264-3.ma logic/equality.ma
  16 HEQ/COL003-6.ma logic/equality.ma
  17 HEQ/COL006-4.ma logic/equality.ma
  18 HEQ/LCL253-3.ma logic/equality.ma
  19 HEQ/LCL348-3.ma logic/equality.ma
  20 HEQ/HWV004-1.ma logic/equality.ma
  21 HEQ/LCL247-3.ma logic/equality.ma
  22 HEQ/ANA004-1.ma logic/equality.ma
  23 HEQ/LCL150-1.ma logic/equality.ma
  24 HEQ/LCL242-3.ma logic/equality.ma
  25 HEQ/LCL337-3.ma logic/equality.ma
  26 HEQ/COL042-5.ma logic/equality.ma
  27 HEQ/LCL298-3.ma logic/equality.ma
  28 HEQ/LCL332-3.ma logic/equality.ma
  29 HEQ/LCL149-1.ma logic/equality.ma
  30 HEQ/LCL293-3.ma logic/equality.ma
  31 HEQ/COL044-2.ma logic/equality.ma
  32 HEQ/LCL231-3.ma logic/equality.ma
  33 HEQ/LCL192-3.ma logic/equality.ma
  34 HEQ/LCL326-3.ma logic/equality.ma
  35 HEQ/LCL225-3.ma logic/equality.ma
  36 HEQ/ROB006-3.ma logic/equality.ma
  37 HEQ/LCL282-3.ma logic/equality.ma
  38 HEQ/LCL220-3.ma logic/equality.ma
  39 HEQ/LCL181-3.ma logic/equality.ma
  40 HEQ/ANA034-2.ma logic/equality.ma
  41 HEQ/LCL315-3.ma logic/equality.ma
  42 HEQ/LCL276-3.ma logic/equality.ma
  43 HEQ/LCL219-3.ma logic/equality.ma
  44 HEQ/LCL310-3.ma logic/equality.ma
  45 HEQ/LCL214-3.ma logic/equality.ma
  46 HEQ/LCL271-3.ma logic/equality.ma
  47 HEQ/LCL309-3.ma logic/equality.ma
  48 HEQ/LCL304-3.ma logic/equality.ma
  49 HEQ/LCL208-3.ma logic/equality.ma
  50 HEQ/LCL265-3.ma logic/equality.ma
  51 HEQ/LCL260-3.ma logic/equality.ma
  52 HEQ/COL003-5.ma logic/equality.ma
  53 HEQ/COL006-3.ma logic/equality.ma
  54 HEQ/LCL254-3.ma logic/equality.ma
  55 HEQ/LCL349-3.ma logic/equality.ma
  56 HEQ/LCL344-3.ma logic/equality.ma
  57 HEQ/ANA005-1.ma logic/equality.ma
  58 HEQ/LCL243-3.ma logic/equality.ma
  59 HEQ/LCL151-1.ma logic/equality.ma
  60 HEQ/COL042-4.ma logic/equality.ma
  61 HEQ/LCL299-3.ma logic/equality.ma
  62 HEQ/LCL237-3.ma logic/equality.ma
  63 HEQ/LCL193-3.ma logic/equality.ma
  64 HEQ/LCL327-3.ma logic/equality.ma
  65 HEQ/LCL226-3.ma logic/equality.ma
  66 HEQ/LCL283-3.ma logic/equality.ma
  67 HEQ/LCL221-3.ma logic/equality.ma
  68 HEQ/NLP251-1.ma logic/equality.ma
  69 HEQ/LCL182-3.ma logic/equality.ma
  70 HEQ/LCL316-3.ma logic/equality.ma
  71 HEQ/LCL277-3.ma logic/equality.ma
  72 HEQ/LCL311-3.ma logic/equality.ma
  73 HEQ/LCL215-3.ma logic/equality.ma
  74 HEQ/LCL272-3.ma logic/equality.ma
  75 HEQ/CAT018-4.ma logic/equality.ma
  76 HEQ/LAT001-1.ma logic/equality.ma
  77 HEQ/COL003-9.ma logic/equality.ma
  78 HEQ/LCL305-3.ma logic/equality.ma
  79 HEQ/LCL300-3.ma logic/equality.ma
  80 HEQ/LCL266-3.ma logic/equality.ma
  81 HEQ/LCL109-4.ma logic/equality.ma
  82 HEQ/LCL261-3.ma logic/equality.ma
  83 HEQ/COL003-4.ma logic/equality.ma
  84 HEQ/LCL351-3.ma logic/equality.ma
  85 HEQ/COL006-2.ma logic/equality.ma
  86 HEQ/LCL255-3.ma logic/equality.ma
  87 HEQ/LCL250-3.ma logic/equality.ma
  88 HEQ/LAT041-1.ma logic/equality.ma
  89 HEQ/LCL345-3.ma logic/equality.ma
  90 HEQ/NUM017-2.ma logic/equality.ma
  91 HEQ/LCL249-3.ma logic/equality.ma
  92 HEQ/LCL340-3.ma logic/equality.ma
  93 HEQ/LCL152-1.ma logic/equality.ma
  94 HEQ/COL044-5.ma logic/equality.ma
  95 HEQ/LCL339-3.ma logic/equality.ma
  96 HEQ/LCL334-3.ma logic/equality.ma
  97 HEQ/COL042-3.ma logic/equality.ma
  98 HEQ/LCL295-3.ma logic/equality.ma
  99 HEQ/LCL328-3.ma logic/equality.ma
 100 HEQ/LCL289-3.ma logic/equality.ma
 101 HEQ/LCL284-3.ma logic/equality.ma
 102 HEQ/LDA004-1.ma logic/equality.ma
 103 HEQ/LCL227-3.ma logic/equality.ma
 104 HEQ/NLP257-1.ma logic/equality.ma
 105 HEQ/NLP252-1.ma logic/equality.ma
 106 HEQ/LCL198-3.ma logic/equality.ma
 107 HEQ/LCL222-3.ma logic/equality.ma
 108 HEQ/LCL183-3.ma logic/equality.ma
 109 HEQ/LCL312-3.ma logic/equality.ma
 110 HEQ/LCL278-3.ma logic/equality.ma
 111 HEQ/ANA031-2.ma logic/equality.ma
 112 HEQ/LCL216-3.ma logic/equality.ma
 113 HEQ/LCL273-3.ma logic/equality.ma
 114 HEQ/HEN011-3.ma logic/equality.ma
 115 HEQ/LCL306-3.ma logic/equality.ma
 116 HEQ/LAT002-1.ma logic/equality.ma
 117 HEQ/COL003-8.ma logic/equality.ma
 118 HEQ/LCL262-3.ma logic/equality.ma
 119 HEQ/COL003-3.ma logic/equality.ma
 120 HEQ/LCL251-3.ma logic/equality.ma
 121 HEQ/MGT011-1.ma logic/equality.ma
 122 HEQ/LCL346-3.ma logic/equality.ma
 123 HEQ/HWV002-1.ma logic/equality.ma
 124 HEQ/LCL341-3.ma logic/equality.ma
 125 HEQ/LCL245-3.ma logic/equality.ma
 126 HEQ/LCL335-3.ma logic/equality.ma
 127 HEQ/COL044-4.ma logic/equality.ma
 128 HEQ/LCL330-3.ma logic/equality.ma
 129 HEQ/BOO012-3.ma logic/equality.ma
 130 HEQ/LCL147-1.ma logic/equality.ma
 131 HEQ/LCL234-3.ma logic/equality.ma
 132 HEQ/COL042-2.ma logic/equality.ma
 133 HEQ/ROB018-1.ma logic/equality.ma
 134 HEQ/LCL329-3.ma logic/equality.ma
 135 HEQ/LCL324-3.ma logic/equality.ma
 136 HEQ/NLP258-1.ma logic/equality.ma
 137 HEQ/LCL285-3.ma logic/equality.ma
 138 HEQ/LCL223-3.ma logic/equality.ma
 139 HEQ/LCL194-3.ma logic/equality.ma
 140 HEQ/ANA032-2.ma logic/equality.ma
 141 HEQ/LCL313-3.ma logic/equality.ma
 142 HEQ/HWC003-2.ma logic/equality.ma
 143 HEQ/LAT005-3.ma logic/equality.ma
 144 HEQ/HWC002-1.ma logic/equality.ma
 145 HEQ/LCL217-3.ma logic/equality.ma
 146 HEQ/LCL274-3.ma logic/equality.ma
 147 HEQ/LCL307-3.ma logic/equality.ma
 148 HEQ/LCL302-3.ma logic/equality.ma
 149 HEQ/COL003-7.ma logic/equality.ma
 150 HEQ/LCL206-3.ma logic/equality.ma
 151 HEQ/LCL263-3.ma logic/equality.ma
 152 HEQ/LCL201-3.ma logic/equality.ma
 153 HEQ/LCL353-3.ma logic/equality.ma
 154 HEQ/LCL252-3.ma logic/equality.ma
 155 HEQ/COL003-2.ma logic/equality.ma
 156 HEQ/MGT012-1.ma logic/equality.ma
 157 HEQ/LCL347-3.ma logic/equality.ma
 158 HEQ/COL003-10.ma logic/equality.ma
 159 HEQ/LCL342-3.ma logic/equality.ma
 160 HEQ/HWV003-1.ma logic/equality.ma
 161 HEQ/SWV251-2.ma logic/equality.ma
 162 HEQ/ANA003-1.ma logic/equality.ma
 163 HEQ/LCL246-3.ma logic/equality.ma
 164 HEQ/LCL336-3.ma logic/equality.ma
 165 HEQ/LCL331-3.ma logic/equality.ma
 166 HEQ/COL044-3.ma logic/equality.ma
 167 HEQ/LCL148-1.ma logic/equality.ma
 168 HEQ/COL043-2.ma logic/equality.ma
 169 HEQ/LCL230-3.ma logic/equality.ma
 170 HEQ/LCL191-3.ma logic/equality.ma
 171 HEQ/ROB014-1.ma logic/equality.ma
 172 HEQ/LCL325-3.ma logic/equality.ma
 173 HEQ/LCL320-3.ma logic/equality.ma
 174 HEQ/LCL229-3.ma logic/equality.ma
 175 HEQ/LCL286-3.ma logic/equality.ma
 176 logic/equality.ma