| Wed, 03 Jun 2009 09:58:11 -0700 | huffman | replace class open with class topo | file | diff | annotate |
| Wed, 03 Jun 2009 08:43:29 -0700 | huffman | instance * :: topological_space | file | diff | annotate |
| Tue, 02 Jun 2009 23:35:52 -0700 | huffman | instance * :: complete_space; generalize continuity lemmas for fst, snd, Pair | file | diff | annotate |
| Mon, 01 Jun 2009 16:59:56 -0700 | huffman | limits of Pair using filters | file | diff | annotate |
| Fri, 29 May 2009 09:58:14 -0700 | huffman | instance * :: (metric_space, metric_space) metric_space; generalize lemmas to class metric_space | file | diff | annotate |
| Thu, 28 May 2009 17:09:51 -0700 | huffman | define dist for products | file | diff | annotate |
| Thu, 26 Mar 2009 20:08:55 +0100 | wenzelm | interpretation/interpret: prefixes are mandatory by default; | file | diff | annotate |
| Fri, 20 Feb 2009 08:02:11 -0800 | huffman | add theory of products as real vector spaces to Library | file | diff | annotate |