| Sun, 25 Sep 2005 20:24:10 +0200 | wenzelm | more; | changeset | files |
| Sun, 25 Sep 2005 20:19:31 +0200 | berghofe | eq_codegen now ensures that code for bool type is generated. | changeset | files |
| Sun, 25 Sep 2005 20:17:44 +0200 | berghofe | Fixed print mode problem in test_term. | changeset | files |
| Sun, 25 Sep 2005 20:17:13 +0200 | berghofe | Added ExecutableSet and Taylor. | changeset | files |
| Sun, 25 Sep 2005 20:15:29 +0200 | berghofe | Now uses set implementation from ExecutableSet. | changeset | files |
| Sun, 25 Sep 2005 20:14:39 +0200 | berghofe | Added Taylor. | changeset | files |
| Sun, 25 Sep 2005 20:14:16 +0200 | berghofe | Formalization of Taylor series by Lukas Bulwahn and | changeset | files |