| Sat, 10 Sep 2011 00:44:25 +0200 | blanchet | continue with minimization in debug mode in spite of unsoundness | changeset | files |
| Fri, 09 Sep 2011 09:31:04 -0700 | huffman | generalize lemma of_nat_number_of_eq to class number_semiring | changeset | files |
| Fri, 09 Sep 2011 15:14:59 +0200 | bulwahn | merged | changeset | files |
| Fri, 09 Sep 2011 14:43:50 +0200 | bulwahn | stating more explicitly our expectation that these two terms have the same term structure | changeset | files |