| Mon, 22 Jun 2009 20:59:12 +0200 | nipkow | tuned FuncSet | changeset | files |
| Mon, 22 Jun 2009 20:31:08 +0200 | wenzelm | Lexicon: removed unused max_entry; | changeset | files |
| Mon, 22 Jun 2009 17:07:09 +0200 | immler | use results of relevance-filter to determine additional clauses; | changeset | files |
| Mon, 22 Jun 2009 17:07:08 +0200 | immler | export proof when exporting problemfile | changeset | files |
| Mon, 22 Jun 2009 17:07:08 +0200 | immler | restructured external_prover | changeset | files |
| Mon, 22 Jun 2009 17:07:08 +0200 | immler | corrected comments | changeset | files |
| Mon, 22 Jun 2009 14:25:22 +0200 | haftmann | adapted to number theory switch | changeset | files |