Thu, 14 Sep 2006 22:48:37 +0200 | wenzelm | more on theorems; | changeset | files |
Thu, 14 Sep 2006 21:42:21 +0200 | huffman | generalized types of Infinitesimal, HFinite, and HInfinite to work over nonstandard extensions of any real normed vector space | changeset | files |
Thu, 14 Sep 2006 21:36:26 +0200 | huffman | add instance for class division_ring | changeset | files |