Wed, 17 Jul 2013 07:32:53 +0200 |
--- heap image for Isac on Isabelle2013 builds
|
file | diff | annotate |
Tue, 18 Jun 2013 17:51:36 +0200 |
Test_Isac.thy started in Isabelle2012
|
file | diff | annotate |
Fri, 14 Jun 2013 15:46:09 +0200 |
interrupt GCD_Poly.ML making transparent, resume Isabelle2011 -> 2012
|
file | diff | annotate |
Tue, 11 Jun 2013 09:06:29 +0200 |
GCD_Poly_FP.thy termination clarified with Florian Haftmann
|
file | diff | annotate |
Thu, 06 Jun 2013 20:39:40 +0200 |
Florian Haftmann intermediate
|
file | diff | annotate |
Mon, 03 Jun 2013 16:20:11 +0200 |
investigating: export_code for try_new_prime_up
|
file | diff | annotate |
Fri, 31 May 2013 18:05:20 +0200 |
GCD_Poly.thy restored (without writeln)
|
file | diff | annotate |
Fri, 31 May 2013 18:00:35 +0200 |
export_code for try_new_prime_up and gcd_up
|
file | diff | annotate |
Fri, 31 May 2013 17:49:34 +0200 |
GCD_Poly.thy with writeln for try_new_prime_up
|
file | diff | annotate |
Fri, 24 May 2013 16:50:31 +0200 |
tuned
|
file | diff | annotate |
Fri, 24 May 2013 12:40:15 +0200 |
tuned
|
file | diff | annotate |
Fri, 24 May 2013 10:41:57 +0200 |
GCD_Poly.thy with writeln for HENSEL
|
file | diff | annotate |
Thu, 23 May 2013 12:20:28 +0200 |
GCD_Poly_FP.thy all termination proofs checked with size_change
|
file | diff | annotate |
Sun, 19 May 2013 08:51:27 +0200 |
GCD_Poly_FP.thy improved with nat as much as possible instead int
|
file | diff | annotate |
Tue, 07 May 2013 12:22:07 +0200 |
polish GCD_Poly.thy
|
file | diff | annotate |
Mon, 06 May 2013 18:21:10 +0200 |
GCD_Poly_FP.thy code for univariate case finished
|
file | diff | annotate |
Wed, 01 May 2013 11:52:37 +0200 |
GCD_Poly.thy tuned
|
file | diff | annotate |
Sat, 27 Apr 2013 12:23:46 +0200 |
GCD_Poly.thy as submitted to Munich
|
file | diff | annotate |
Thu, 25 Apr 2013 18:49:52 +0200 |
polish GCD_Poly.thy: until gcd_poly'
|
file | diff | annotate |
Thu, 25 Apr 2013 13:58:36 +0200 |
polish GCD_Poly.thy: lex_ord interm.
|
file | diff | annotate |
Sat, 20 Apr 2013 18:18:06 +0200 |
polish GCD_Poly.thy: lmonom done
|
file | diff | annotate |
Sat, 20 Apr 2013 15:01:16 +0200 |
polish GCD_Poly.thy: lcoeff
|
file | diff | annotate |
Fri, 12 Apr 2013 20:46:58 +0200 |
polished GCD_Poly.thy
|
file | diff | annotate |
Fri, 12 Apr 2013 11:03:41 +0200 |
before finalizing GCD_Poly.thy
|
file | diff | annotate |
Wed, 06 Mar 2013 09:37:17 +0100 |
GCD_Poly ML-->Isabelle: intermediate
|
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 |
Tue, 19 Feb 2013 13:56:35 +0100 |
GCD_Poly ML-->Isabelle: intermed.
|
file | diff | annotate |
Fri, 15 Feb 2013 14:49:50 +0100 |
GCD_Poly ML-->Isabelle: waiting for feedback from isabelle@
|
file | diff | annotate |
Fri, 08 Feb 2013 16:43:04 +0100 |
GCD_Poly ML-->Isabelle: until fun mod_poly_gcd
|
file | diff | annotate |
Mon, 04 Feb 2013 12:41:56 +0100 |
intermed.
|
file | diff | annotate |
Mon, 28 Jan 2013 13:53:07 +0100 |
GCD_Poly ML-->Isabelle: until fun dvd_up
|
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:32:13 +0100 |
merged
|
file | diff | annotate |
Fri, 11 Jan 2013 12:32:03 +0100 |
tuned
|
file | diff | annotate |
Fri, 11 Jan 2013 12:08:56 +0100 |
GCD_Poly Winkler --> functional
|
file | diff | annotate |
Sat, 05 Jan 2013 10:41:56 +0100 |
Hints.thy for hints not immediately included in code
|
file | diff | annotate |
Fri, 14 Dec 2012 13:09:05 +0100 |
Winkler --> Isabelle: simple renaming
|
file | diff | annotate |
Fri, 14 Dec 2012 12:32:27 +0100 |
merged
|
file | diff | annotate |
Fri, 14 Dec 2012 12:30:49 +0100 |
caused conflict in same line
|
file | diff | annotate |
Fri, 14 Dec 2012 12:27:38 +0100 |
cause conflict
|
file | diff | annotate |
Fri, 14 Dec 2012 12:22:19 +0100 |
before starting transformation Winkler --> Isabelle
|
file | diff | annotate |
Fri, 14 Dec 2012 11:34:05 +0100 |
failed merge
|
file | diff | annotate |
Fri, 14 Dec 2012 10:27:02 +0100 |
GCD_Poly adopted Integer.gcd, ...
|
file | diff | annotate |
Wed, 12 Dec 2012 13:31:25 +0100 |
dmeindl: better diff tool
|
file | diff | annotate |
Wed, 12 Dec 2012 12:06:30 +0100 |
GCD_Poly enters repository
|
file | diff | annotate |
Fri, 23 Nov 2012 13:18:15 +0100 |
after re-installing isac and pruning branch
|
file | diff | annotate |
Fri, 12 Oct 2012 16:03:07 +0200 |
2011-->2012:
|
file | diff | annotate |
Mon, 24 Sep 2012 16:39:30 +0200 |
meeting dmeindl: added missing files
|
file | diff | annotate |