| Sun, 17 Sep 2006 02:56:25 +0200 | huffman | removed capprox, CFinite, CInfinite, CInfinitesimal, cmonad, and cgalaxy in favor of polymorphic constants | changeset | files |
| Sun, 17 Sep 2006 02:53:36 +0200 | huffman | hcmod abbreviates hnorm :: hcomplex => hypreal | changeset | files |
| Sat, 16 Sep 2006 23:46:38 +0200 | huffman | complex_of_real abbreviates of_real::real=>complex; | changeset | files |
| Sat, 16 Sep 2006 19:14:37 +0200 | huffman | add instance for real_algebra_1 and real_normed_div_algebra | changeset | files |