| Sat, 20 Aug 2005 21:20:16 +0200 |
find out why IntegrateScript doesnt work
|
file | diff | annotate |
| Sat, 20 Aug 2005 18:25:14 +0200 |
integration by rewrite_set, still trying
|
file | diff | annotate |
| Sat, 20 Aug 2005 15:15:41 +0200 |
add_new_c: trials with get_pair finished, search error in eval__true
|
file | diff | annotate |
| Fri, 19 Aug 2005 18:27:16 +0200 |
add_new_c for integration, still trying
|
file | diff | annotate |
| Tue, 16 Aug 2005 17:41:06 +0200 |
work on integration methods
|
file | diff | annotate |
| Tue, 16 Aug 2005 13:28:32 +0200 |
work on integration pbl, met
|
file | diff | annotate |
| Sun, 14 Aug 2005 13:42:54 +0200 |
added integration
|
file | diff | annotate |
| Fri, 28 Oct 2005 15:45:13 +0200 |
simplify_Integral finished
|
file | diff | annotate |
| Thu, 29 Sep 2005 19:35:34 +0200 |
implement EqSystem pbls, mets; intermediate
|
file | diff | annotate |
| Mon, 12 Sep 2005 20:15:24 +0200 |
Simplify.thy / .ML added, methods not yet parsed.
|
file | diff | annotate |
| Mon, 29 Aug 2005 14:42:14 +0200 |
Biegelinie#Problems intermediate
|
file | diff | annotate |
| Sun, 28 Aug 2005 16:09:45 +0200 |
Scripts/scrtools#is_dsc improved
|
file | diff | annotate |
| Sun, 28 Aug 2005 13:47:10 +0200 |
prohibit "FF + c = x ^^^ 3 / 3 + x + c", intermediate state
|
file | diff | annotate |