src/Tools/isac/Knowledge/GCD_Poly_ML.thy
Mon, 02 Sep 2013 16:16:08 +0200 Test_Isac works again, almost ..
Mon, 02 Sep 2013 14:56:57 +0200 GCD_Poly_ML: generalised gcd_poly handling monomials
Sun, 01 Sep 2013 16:50:51 +0200 GCD_Poly_ML: removed bug in gcd_poly when applied to two monomials
Sat, 24 Aug 2013 11:23:34 +0200 GCD_Poly_ML: minimise negative coefficients
Wed, 14 Aug 2013 14:32:18 +0200 tuned
Wed, 14 Aug 2013 14:05:40 +0200 suggestions for representation of calculations and interaction by Lucas-Interpretation
Wed, 14 Aug 2013 13:52:39 +0200 GCD_Poly: removed bug in polynomial division
Thu, 25 Jul 2013 07:36:31 +0200 restructured files concerning "fun gcd_poly"