| Sun, 28 Jun 2009 15:01:28 +0200 | immler | return number of first conjecture-clause and number of conjecture-clauses; | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | use structure File instead of TextIO; | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | whitelist for HOL problems with ext: | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | always include whitelist; | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | check for current versions on server | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | relevance filter with the same parameters for remote-versions | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | use X2TPTP optionally and only for remote_spass; | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | fixed | changeset | files |