| Tue, 27 Jul 2010 17:32:55 +0200 | blanchet | renamed file | changeset | files |
| Tue, 27 Jul 2010 17:32:10 +0200 | blanchet | move Sledgehammer-specific code out of "Sledgehammer_TPTP_Format" | changeset | files |
| Tue, 27 Jul 2010 17:15:12 +0200 | blanchet | get rid of more dead wood | changeset | files |
| Tue, 27 Jul 2010 17:04:09 +0200 | blanchet | implemented "sublinear" minimization algorithm | changeset | files |
| Tue, 27 Jul 2010 15:28:23 +0200 | blanchet | extract sort constraints from FOFs properly; | changeset | files |
| Tue, 27 Jul 2010 17:10:27 +0200 | haftmann | merged | changeset | files |
| Tue, 27 Jul 2010 17:09:35 +0200 | haftmann | delete structure Basic_Record; avoid `record` in names in structure Record | changeset | files |
| Tue, 27 Jul 2010 14:12:35 +0200 | blanchet | no polymorphic "var" | changeset | files |