| Tue, 12 Sep 2006 07:49:07 +0200 | huffman | import RealVector | changeset | files |
| Tue, 12 Sep 2006 06:44:45 +0200 | huffman | formalization of vector spaces and algebras over the real numbers | changeset | files |
| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | changeset | files |
| Mon, 11 Sep 2006 14:35:30 +0200 | wenzelm | updated; | changeset | files |