Tue, 23 Aug 2011 14:11:02 -0700 | huffman | declare euclidean_simps [simp] at the point they are proved; | changeset | files |
Tue, 23 Aug 2011 07:12:05 -0700 | huffman | merged | changeset | files |
Mon, 22 Aug 2011 18:15:33 -0700 | huffman | merged | changeset | files |