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