| Wed, 11 Feb 2009 23:07:50 +1100 | kleing | fixed typo | changeset | files |
| Wed, 11 Feb 2009 23:05:58 +1100 | kleing | updated NEWS etc with "solves" criterion and auto_solves | changeset | files |
| Wed, 11 Feb 2009 10:51:31 +0100 | nipkow | merged | changeset | files |
| Wed, 11 Feb 2009 10:51:07 +0100 | nipkow | Moved Order_Relation into Library and moved some of it into Relation. | changeset | files |
| Wed, 11 Feb 2009 16:03:10 +1100 | kleing | Autosolve feature for detecting duplicate theorems; patch by Timothy Bourke | changeset | files |
| Wed, 11 Feb 2009 14:48:14 +1100 | kleing | FindTheorems: add solves feature; tidy up const name subsettin; patch by Timothy Bourke | changeset | files |
| Tue, 10 Feb 2009 17:53:51 -0800 | huffman | const_name antiquotations | changeset | files |