| Fri, 15 Sep 2006 18:06:51 +0200 | webertj | trivial whitespace change | changeset | files |
| Fri, 15 Sep 2006 16:49:41 +0200 | wenzelm | tuned; | changeset | files |
| 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 |