Sun, 25 Sep 2005 20:24:23 +0200 * Hyperreal: A theory of Taylor series.
wenzelm [Sun, 25 Sep 2005 20:24:23 +0200] rev 17641
* Hyperreal: A theory of Taylor series.
Sun, 25 Sep 2005 20:24:10 +0200 more;
wenzelm [Sun, 25 Sep 2005 20:24:10 +0200] rev 17640
more;
Sun, 25 Sep 2005 20:19:31 +0200 eq_codegen now ensures that code for bool type is generated.
berghofe [Sun, 25 Sep 2005 20:19:31 +0200] rev 17639
eq_codegen now ensures that code for bool type is generated.
Sun, 25 Sep 2005 20:17:44 +0200 Fixed print mode problem in test_term.
berghofe [Sun, 25 Sep 2005 20:17:44 +0200] rev 17638
Fixed print mode problem in test_term.
Sun, 25 Sep 2005 20:17:13 +0200 Added ExecutableSet and Taylor.
berghofe [Sun, 25 Sep 2005 20:17:13 +0200] rev 17637
Added ExecutableSet and Taylor.
Sun, 25 Sep 2005 20:15:29 +0200 Now uses set implementation from ExecutableSet.
berghofe [Sun, 25 Sep 2005 20:15:29 +0200] rev 17636
Now uses set implementation from ExecutableSet.
Sun, 25 Sep 2005 20:14:39 +0200 Added Taylor.
berghofe [Sun, 25 Sep 2005 20:14:39 +0200] rev 17635
Added Taylor.
Sun, 25 Sep 2005 20:14:16 +0200 Formalization of Taylor series by Lukas Bulwahn and
berghofe [Sun, 25 Sep 2005 20:14:16 +0200] rev 17634
Formalization of Taylor series by Lukas Bulwahn and Bernhard Haeupler.
Sun, 25 Sep 2005 20:12:59 +0200 Added ExecutableSet.
berghofe [Sun, 25 Sep 2005 20:12:59 +0200] rev 17633
Added ExecutableSet.
Sun, 25 Sep 2005 20:12:26 +0200 New theory for implementing finite sets by lists.
berghofe [Sun, 25 Sep 2005 20:12:26 +0200] rev 17632
New theory for implementing finite sets by lists.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip