| Mon, 22 Feb 2010 21:48:20 -0800 | huffman | proper header and subsection headings | changeset | files |
| Mon, 22 Feb 2010 21:47:21 -0800 | huffman | remove unneeded premise from rat_floor_lemma and floor_Fract | changeset | files |
| Mon, 22 Feb 2010 20:41:49 +0100 | hoelzl | Replaced Integration by Multivariate-Analysis/Real_Integration | changeset | files |
| Mon, 22 Feb 2010 20:08:10 +0100 | himmelma | Support for one-dimensional integration in Multivariate-Analysis | changeset | files |
| Thu, 18 Feb 2010 22:11:19 +0100 | himmelma | Equivalence between DERIV and one-dimensional derivation in Multivariate-Analysis | changeset | files |
| Mon, 22 Feb 2010 11:19:15 -0800 | huffman | merged | changeset | files |
| Mon, 22 Feb 2010 11:17:41 -0800 | huffman | add mixfix field to type Domain_Library.cons | changeset | files |
| Mon, 22 Feb 2010 09:43:36 -0800 | huffman | remove unnecessary local | changeset | files |