| Tue, 27 Apr 2010 09:49:36 +0200 | haftmann | tuned class linordered_field_inverse_zero | changeset | files |
| Tue, 27 Apr 2010 08:18:25 +0200 | haftmann | merged | changeset | files |
| Tue, 27 Apr 2010 08:17:40 +0200 | haftmann | instances for *_inverse_zero classes | changeset | files |
| Tue, 27 Apr 2010 08:17:39 +0200 | haftmann | canonical import | changeset | files |
| Mon, 26 Apr 2010 15:38:14 +0200 | haftmann | merged | changeset | files |
| Mon, 26 Apr 2010 15:37:50 +0200 | haftmann | use new classes (linordered_)field_inverse_zero | changeset | files |
| Mon, 26 Apr 2010 23:46:45 +0200 | blanchet | merged | changeset | files |
| Mon, 26 Apr 2010 23:45:51 +0200 | blanchet | renamed option | changeset | files |
| Mon, 26 Apr 2010 23:45:32 +0200 | blanchet | fixes 2a5c6e7b55cb; | changeset | files |
| Mon, 26 Apr 2010 21:50:36 +0200 | blanchet | compile | changeset | files |
| Mon, 26 Apr 2010 21:41:54 +0200 | blanchet | make compile (and not just load dynamically) | changeset | files |
| Mon, 26 Apr 2010 21:25:32 +0200 | blanchet | merge | changeset | files |
| Mon, 26 Apr 2010 21:20:43 +0200 | blanchet | introduced direct proof reconstruction code, eliminating the need for the "neg_clausify" method; | changeset | files |
| Mon, 26 Apr 2010 21:18:20 +0200 | blanchet | adapt code to reflect new signature of "neg_clausify" | changeset | files |