Wed, 30 Jun 2010 19:00:15 -0700 | huffman | generalize more euclidean_space lemmas | changeset | files |
Wed, 30 Jun 2010 11:51:35 -0700 | huffman | minimize dependencies on Numeral_Type | changeset | files |
Wed, 30 Jun 2010 10:42:38 -0700 | huffman | change type of 'dimension' to 'a itself => nat | changeset | files |