| Wed, 06 Mar 2013 09:43:41 +0100 |
merged
|
file | diff | annotate |
| Wed, 06 Mar 2013 09:37:17 +0100 |
GCD_Poly ML-->Isabelle: intermediate
|
file | diff | annotate |
| Tue, 05 Mar 2013 20:51:15 +0100 |
GCD_POLY -> descriptions: mod_poly, try_new_prime, HENSEL
|
file | diff | annotate |
| Thu, 28 Feb 2013 16:28:28 +0100 |
GCD_Poly ML-->Isabelle: fun %|% (function dvd_up)
|
file | diff | annotate |
| Mon, 25 Feb 2013 13:27:38 +0100 |
primes_upto: removed tracing
|
file | diff | annotate |
| Mon, 25 Feb 2013 12:44:09 +0100 |
primes_upto DOESN'T re-uses primes calculated
|
file | diff | annotate |
| Mon, 25 Feb 2013 11:46:04 +0100 |
primes_upto re-uses primes already calculated
|
file | diff | annotate |
| Mon, 25 Feb 2013 09:17:47 +0100 |
unipoly old with tracing
|
file | diff | annotate |
| Sat, 23 Feb 2013 10:14:50 +0100 |
GCD_Poly ML-->Isabelle: intermediate
|
file | diff | annotate |
| Fri, 22 Feb 2013 12:07:27 +0100 |
GCD_Poly ML-->Isabelle: implicit specifications
|
file | diff | annotate |
| Tue, 19 Feb 2013 13:56:35 +0100 |
GCD_Poly ML-->Isabelle: intermed.
|
file | diff | annotate |
| Fri, 15 Feb 2013 15:46:29 +0100 |
tuned
|
file | diff | annotate |
| Fri, 15 Feb 2013 15:04:08 +0100 |
merged
|
file | diff | annotate |
| Fri, 15 Feb 2013 14:49:50 +0100 |
GCD_Poly ML-->Isabelle: waiting for feedback from isabelle@
|
file | diff | annotate |
| Tue, 12 Feb 2013 09:58:59 +0100 |
merged by hand
|
file | diff | annotate |
| Tue, 12 Feb 2013 09:22:20 +0100 |
intermed.
|
file | diff | annotate |
| Mon, 11 Feb 2013 19:19:18 +0100 |
GCD_POLY -> descriptions Landau Mignotte, centr & new function
|
file | diff | annotate |
| Fri, 08 Feb 2013 16:43:04 +0100 |
GCD_Poly ML-->Isabelle: until fun mod_poly_gcd
|
file | diff | annotate |
| Tue, 29 Jan 2013 13:37:58 +0100 |
GCD_Poly -> descriptions and changed %|%
|
file | diff | annotate |
| Mon, 28 Jan 2013 13:58:23 +0100 |
merged
|
file | diff | annotate |
| Mon, 28 Jan 2013 13:53:07 +0100 |
GCD_Poly ML-->Isabelle: until fun dvd_up
|
file | diff | annotate |
| Fri, 25 Jan 2013 17:17:47 +0100 |
GCD_Poly - changed names
|
file | diff | annotate |
| Thu, 24 Jan 2013 17:17:03 +0100 |
GCD_Poly ML-->Isabelle: until fun %-%
|
file | diff | annotate |
| Wed, 23 Jan 2013 17:29:49 +0100 |
GCD_Poly ML-->Isabelle: ordered tests
|
file | diff | annotate |
| Wed, 23 Jan 2013 15:56:24 +0100 |
GCD_Poly: ML --> Isabelle's function package
|
file | diff | annotate |
| Fri, 11 Jan 2013 12:08:56 +0100 |
GCD_Poly Winkler --> functional
|
file | diff | annotate |
| Fri, 14 Dec 2012 13:09:05 +0100 |
Winkler --> Isabelle: simple renaming
|
file | diff | annotate |
| Fri, 14 Dec 2012 12:22:19 +0100 |
before starting transformation Winkler --> Isabelle
|
file | diff | annotate |
| Fri, 14 Dec 2012 10:27:02 +0100 |
GCD_Poly adopted Integer.gcd, ...
|
file | diff | annotate |
| Wed, 12 Dec 2012 12:06:30 +0100 |
GCD_Poly enters repository
|
file | diff | annotate |