Wed, 17 Feb 2010 18:56:34 +0100 | hoelzl | Renamed Multivariate-Analysis/Integration to Multivariate-Analysis/Integration_MV to avoid name clash with Integration. | changeset | files |
Wed, 17 Feb 2010 18:33:45 +0100 | himmelma | Added integration to Multivariate-Analysis (upto FTC) | changeset | files |
Wed, 17 Feb 2010 17:57:37 +0100 | hoelzl | Moved setprod_mono, abs_setprod and setsum_le_included to the Main image. Is used in Multivariate_Analysis. | changeset | files |
Wed, 17 Feb 2010 09:22:40 -0800 | huffman | fix looping simp rule | changeset | files |