| 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 |
| Thu, 14 Sep 2006 20:31:10 +0200 | huffman | removed duplicate lemmas | changeset | files |
| Thu, 14 Sep 2006 19:18:10 +0200 | huffman | fixed syntax clash with Real/RealVector | changeset | files |
| Thu, 14 Sep 2006 15:51:20 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 14 Sep 2006 15:27:08 +0200 | krauss | Function package: Outside their domain functions now return "arbitrary". | changeset | files |