Sun, 01 Sep 2013 16:50:51 +0200 | GCD_Poly_ML: removed bug in gcd_poly when applied to two monomials | file | diff | annotate |
Sun, 01 Sep 2013 15:54:48 +0200 | GCD_Poly_ML: bug in gcd_poly when applied to two monomials | file | diff | annotate |
Sat, 24 Aug 2013 11:54:39 +0200 | GCD_Poly_ML: conversions term <--> poly | file | diff | annotate |
Wed, 14 Aug 2013 16:30:47 +0200 | GCD_Poly: Euclidean algorithm evaluates efficiently with large numerals | file | diff | annotate |
Wed, 14 Aug 2013 13:52:39 +0200 | GCD_Poly: removed bug in polynomial division | file | diff | annotate |
Thu, 25 Jul 2013 07:53:39 +0200 | handle "fun nth " from Isabelle2002 still provisionally | file | diff | annotate |
Thu, 25 Jul 2013 07:36:31 +0200 | restructured files concerning "fun gcd_poly" | file | diff | annotate | base |