src/Tools/isac/Knowledge/Partial_Fractions.thy
Sun, 11 Dec 2011 21:26:48 +0100 tuned one step further (succesfull ansatz for partial fraction)
Sat, 10 Dec 2011 00:03:23 +0100 tuned - exported new rls to partial fractions
Thu, 08 Dec 2011 23:37:50 +0100 tuned and working (factors from solution)
Mon, 05 Dec 2011 22:19:20 +0100 tuned (no errors but not working like expected, script isn't able to find factors_from_solution function
Sun, 04 Dec 2011 16:09:56 +0100 successfully packed functions into partial_fractions
Tue, 27 Sep 2011 11:10:32 +0200 repaired merge
Mon, 26 Sep 2011 22:52:25 +0200 tuned
Fri, 23 Sep 2011 16:22:11 +0200 partial fractions intermed.