Thu, 04 Jun 2009 17:28:31 -0700 | huffman | define netlimit in terms of eventually | changeset | files |
Thu, 04 Jun 2009 17:24:09 -0700 | huffman | generalize type of 'at' to topological_space; generalize some lemmas | changeset | files |
Thu, 04 Jun 2009 16:11:36 -0700 | huffman | add extra type constraints for dist, norm | changeset | files |