| Sun, 02 Feb 2014 20:53:51 +0100 | blanchet | take intersection rather than union of methods when merging steps -- more efficient and natural | changeset | files |
| Sun, 02 Feb 2014 20:53:51 +0100 | blanchet | merge proof methods | changeset | files |
| Sun, 02 Feb 2014 20:53:51 +0100 | blanchet | use Skolem proof methods appropriately | changeset | files |
| Sun, 02 Feb 2014 20:53:51 +0100 | blanchet | simplified data structure -- eliminated distinction between 'first-class' and 'second-class' proof methods | changeset | files |
| Sun, 02 Feb 2014 20:53:51 +0100 | blanchet | reset timing information after changes | changeset | files |
| Sun, 02 Feb 2014 19:15:25 +0000 | paulson | Number_Theory: prime is no longer overloaded, but only for nat. Automatic coercion to int enabled. | changeset | files |
| Sat, 01 Feb 2014 22:02:20 +0100 | wenzelm | merged | changeset | files |
| Sat, 01 Feb 2014 21:43:23 +0100 | wenzelm | proper config options; | changeset | files |