helm/software/matita/contribs/ng_TPTP/Veloci

   1 BOO001-1.ma
   2 BOO003-2.ma
   3 BOO003-4.ma
   4 BOO004-2.ma
   5 BOO004-4.ma
   6 BOO005-2.ma
   7 BOO005-4.ma
   8 BOO006-2.ma
   9 BOO006-4.ma
  10 BOO009-2.ma
  11 BOO009-4.ma
  12 BOO010-2.ma
  13 BOO010-4.ma
  14 BOO010-4.ma
  15 BOO011-2.ma
  16 BOO011-4.ma
  17 BOO012-2.ma
  18 BOO012-4.ma
  19 BOO013-2.ma
  20 BOO013-4.ma
  21 BOO016-2.ma
  22 BOO017-2.ma
  23 BOO018-4.ma
  24 BOO034-1.ma
  25 BOO069-1.ma
  26 BOO071-1.ma
  27 BOO075-1.ma
  28 COL004-3.ma
  29 COL007-1.ma
  30 COL008-1.ma
  31 COL010-1.ma
  32 COL012-1.ma
  33 COL013-1.ma
  34 COL014-1.ma
  35 COL015-1.ma
  36 COL016-1.ma
  37 COL017-1.ma
  38 COL018-1.ma
  39 COL021-1.ma
  40 COL022-1.ma
  41 COL024-1.ma
  42 COL025-1.ma
  43 COL045-1.ma
  44 COL048-1.ma
  45 COL050-1.ma
  46 COL058-2.ma
  47 COL058-3.ma
  48 COL060-2.ma
  49 COL060-3.ma
  50 COL061-2.ma
  51 COL061-3.ma
  52 COL062-2.ma
  53 COL062-3.ma
  54 COL063-2.ma
  55 COL063-3.ma
  56 COL063-4.ma
  57 COL063-5.ma
  58 COL063-6.ma
  59 COL064-2.ma
  60 COL064-3.ma
  61 COL064-4.ma
  62 COL064-5.ma
  63 COL064-6.ma
  64 COL064-7.ma
  65 COL064-8.ma
  66 COL064-9.ma
  67 COL083-1.ma
  68 COL084-1.ma
  69 COL085-1.ma
  70 COL086-1.ma
  71 GRP001-2.ma
  72 GRP001-4.ma
  73 GRP010-4.ma
  74 GRP011-4.ma
  75 GRP012-4.ma
  76 GRP022-2.ma
  77 GRP023-2.ma
  78 GRP115-1.ma
  79 GRP116-1.ma
  80 GRP117-1.ma
  81 GRP118-1.ma
  82 GRP136-1.ma
  83 GRP137-1.ma
  84 GRP139-1.ma
  85 GRP141-1.ma
  86 GRP142-1.ma
  87 GRP143-1.ma
  88 GRP144-1.ma
  89 GRP145-1.ma
  90 GRP146-1.ma
  91 GRP149-1.ma
  92 GRP150-1.ma
  93 GRP151-1.ma
  94 GRP152-1.ma
  95 GRP153-1.ma
  96 GRP154-1.ma
  97 GRP155-1.ma
  98 GRP156-1.ma
  99 GRP157-1.ma
 100 GRP158-1.ma
 101 GRP159-1.ma
 102 GRP160-1.ma
 103 GRP161-1.ma
 104 GRP162-1.ma
 105 GRP163-1.ma
 106 GRP168-1.ma
 107 GRP168-2.ma
 108 GRP173-1.ma
 109 GRP174-1.ma
 110 GRP176-1.ma
 111 GRP176-2.ma
 112 GRP182-1.ma
 113 GRP182-2.ma
 114 GRP182-3.ma
 115 GRP182-4.ma
 116 GRP186-3.ma
 117 GRP186-4.ma
 118 GRP188-1.ma
 119 GRP188-2.ma
 120 GRP189-1.ma
 121 GRP189-2.ma
 122 GRP192-1.ma
 123 GRP206-1.ma
 124 GRP454-1.ma
 125 GRP455-1.ma
 126 GRP456-1.ma
 127 GRP457-1.ma
 128 GRP458-1.ma
 129 GRP459-1.ma
 130 GRP460-1.ma
 131 GRP463-1.ma
 132 GRP467-1.ma
 133 GRP481-1.ma
 134 GRP484-1.ma
 135 GRP485-1.ma
 136 GRP486-1.ma
 137 GRP487-1.ma
 138 GRP488-1.ma
 139 GRP490-1.ma
 140 GRP491-1.ma
 141 GRP492-1.ma
 142 GRP493-1.ma
 143 GRP494-1.ma
 144 GRP495-1.ma
 145 GRP496-1.ma
 146 GRP497-1.ma
 147 GRP498-1.ma
 148 GRP509-1.ma
 149 GRP510-1.ma
 150 GRP511-1.ma
 151 GRP512-1.ma
 152 GRP513-1.ma
 153 GRP514-1.ma
 154 GRP515-1.ma
 155 GRP516-1.ma
 156 GRP517-1.ma
 157 GRP518-1.ma
 158 GRP520-1.ma
 159 GRP541-1.ma
 160 GRP542-1.ma
 161 GRP543-1.ma
 162 GRP544-1.ma
 163 GRP545-1.ma
 164 GRP546-1.ma
 165 GRP547-1.ma
 166 GRP548-1.ma
 167 GRP549-1.ma
 168 GRP550-1.ma
 169 GRP551-1.ma
 170 GRP552-1.ma
 171 GRP556-1.ma
 172 GRP558-1.ma
 173 GRP560-1.ma
 174 GRP561-1.ma
 175 GRP562-1.ma
 176 GRP564-1.ma
 177 GRP565-1.ma
 178 GRP566-1.ma
 179 GRP567-1.ma
 180 GRP568-1.ma
 181 GRP569-1.ma
 182 GRP570-1.ma
 183 GRP572-1.ma
 184 GRP573-1.ma
 185 GRP574-1.ma
 186 GRP576-1.ma
 187 GRP577-1.ma
 188 GRP578-1.ma
 189 GRP580-1.ma
 190 GRP581-1.ma
 191 GRP582-1.ma
 192 GRP583-1.ma
 193 GRP584-1.ma
 194 GRP586-1.ma
 195 GRP588-1.ma
 196 GRP590-1.ma
 197 GRP592-1.ma
 198 GRP595-1.ma
 199 GRP596-1.ma
 200 GRP597-1.ma
 201 GRP598-1.ma
 202 GRP599-1.ma
 203 GRP600-1.ma
 204 GRP602-1.ma
 205 GRP603-1.ma
 206 GRP604-1.ma
 207 GRP605-1.ma
 208 GRP606-1.ma
 209 GRP608-1.ma
 210 GRP612-1.ma
 211 GRP613-1.ma
 212 GRP614-1.ma
 213 GRP615-1.ma
 214 GRP616-1.ma
 215 LAT008-1.ma
 216 LAT033-1.ma
 217 LAT034-1.ma
 218 LAT039-1.ma
 219 LAT039-2.ma
 220 LAT040-1.ma
 221 LAT045-1.ma
 222 LCL110-2.ma
 223 LCL112-2.ma
 224 LCL113-2.ma
 225 LCL114-2.ma
 226 LCL115-2.ma
 227 LCL132-1.ma
 228 LCL133-1.ma
 229 LCL134-1.ma
 230 LCL135-1.ma
 231 LCL139-1.ma
 232 LCL140-1.ma
 233 LCL141-1.ma
 234 LCL153-1.ma
 235 LCL154-1.ma
 236 LCL155-1.ma
 237 LCL156-1.ma
 238 LCL157-1.ma
 239 LCL158-1.ma
 240 LCL161-1.ma
 241 LCL164-1.ma
 242 LDA001-1.ma
 243 LDA007-3.ma
 244 RNG007-4.ma
 245 RNG008-4.ma
 246 RNG011-5.ma
 247 RNG023-6.ma
 248 RNG023-7.ma
 249 RNG024-6.ma
 250 RNG024-7.ma
 251 ROB002-1.ma
 252 ROB009-1.ma
 253 ROB010-1.ma
 254 ROB013-1.ma
 255 ROB030-1.ma
 256 SYN083-1.ma