Wed, 04 Jan 2017 21:28:33 +0100 tuned NEWS
haftmann [Wed, 04 Jan 2017 21:28:33 +0100] rev 64787
tuned NEWS
Wed, 04 Jan 2017 21:28:29 +0100 reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings
haftmann [Wed, 04 Jan 2017 21:28:29 +0100] rev 64786
reworked to provide auxiliary operations Euclidean_Algorithm.* to instantiate gcd etc. for euclidean rings
Wed, 04 Jan 2017 21:28:29 +0100 moved euclidean ring to HOL
haftmann [Wed, 04 Jan 2017 21:28:29 +0100] rev 64785
moved euclidean ring to HOL
Wed, 04 Jan 2017 21:28:28 +0100 reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion
haftmann [Wed, 04 Jan 2017 21:28:28 +0100] rev 64784
reshaped euclidean semiring into hierarchy of euclidean semirings culminating in uniquely determined euclidean divion
Wed, 04 Jan 2017 22:57:39 +0100 proper registration of implicitly loaded files;
wenzelm [Wed, 04 Jan 2017 22:57:39 +0100] rev 64783
proper registration of implicitly loaded files;
Wed, 04 Jan 2017 22:31:40 +0100 tuned;
wenzelm [Wed, 04 Jan 2017 22:31:40 +0100] rev 64782
tuned;
Wed, 04 Jan 2017 21:29:19 +0100 merged
wenzelm [Wed, 04 Jan 2017 21:29:19 +0100] rev 64781
merged
Wed, 04 Jan 2017 21:26:56 +0100 more file types;
wenzelm [Wed, 04 Jan 2017 21:26:56 +0100] rev 64780
more file types;
Wed, 04 Jan 2017 21:20:37 +0100 tuned;
wenzelm [Wed, 04 Jan 2017 21:20:37 +0100] rev 64779
tuned;
Wed, 04 Jan 2017 20:52:06 +0100 proper interpretation of Resources.source_file as platform file;
wenzelm [Wed, 04 Jan 2017 20:52:06 +0100] rev 64778
proper interpretation of Resources.source_file as platform file;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip