Sun, 17 Sep 2006 16:44:05 +0200 | huffman | generalize type of (NS)LIM to work on functions with vector space domain types | changeset | files |
Sun, 17 Sep 2006 16:42:38 +0200 | huffman | norm_one is now proved from other class axioms | changeset | files |
Sun, 17 Sep 2006 02:56:25 +0200 | huffman | removed capprox, CFinite, CInfinite, CInfinitesimal, cmonad, and cgalaxy in favor of polymorphic constants | changeset | files |