| Tue, 23 Mar 2010 11:39:21 +0100 | blanchet | added options to Sledgehammer; | changeset | files |
| Mon, 22 Mar 2010 15:23:18 +0100 | blanchet | make "sledgehammer" and "atp_minimize" improper commands | changeset | files |
| Thu, 25 Mar 2010 21:27:04 +0100 | wenzelm | Sorts.of_sort_derivation: do not use slow Graph.irreducible_paths here, which not always needed (SUBTLE CHANGE IN SEMANTICS); | changeset | files |
| Thu, 25 Mar 2010 21:14:15 +0100 | wenzelm | removed unused AxClass.of_sort derivation; | changeset | files |
| Wed, 24 Mar 2010 22:30:33 +0100 | wenzelm | more precise dependencies; | changeset | files |
| Wed, 24 Mar 2010 22:08:03 +0100 | wenzelm | merged | changeset | files |