Wed, 08 Jun 2016 09:09:46 +0200 repair Unicode mess-up in c493859d4267
Andreas Lochbihler [Wed, 08 Jun 2016 09:09:46 +0200] rev 63247
repair Unicode mess-up in c493859d4267
Wed, 08 Jun 2016 09:07:05 +0200 NEWS and CONTRIBUTORS for SPMF
Andreas Lochbihler [Wed, 08 Jun 2016 09:07:05 +0200] rev 63246
NEWS and CONTRIBUTORS for SPMF
Wed, 08 Jun 2016 09:05:32 +0200 merged
Andreas Lochbihler [Wed, 08 Jun 2016 09:05:32 +0200] rev 63245
merged
Tue, 07 Jun 2016 17:16:24 +0200 import wasysym needed by Rewrite.thy
Andreas Lochbihler [Tue, 07 Jun 2016 17:16:24 +0200] rev 63244
import wasysym needed by Rewrite.thy
Tue, 07 Jun 2016 15:12:27 +0200 add theory of discrete subprobability distributions
Andreas Lochbihler [Tue, 07 Jun 2016 15:12:27 +0200] rev 63243
add theory of discrete subprobability distributions
Mon, 06 Jun 2016 22:22:05 +0200 clear distinction between different situations concerning strictness of code equations
haftmann [Mon, 06 Jun 2016 22:22:05 +0200] rev 63242
clear distinction between different situations concerning strictness of code equations
Mon, 06 Jun 2016 21:28:46 +0200 tuned signature
haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63241
tuned signature
Mon, 06 Jun 2016 21:28:46 +0200 more correct exception handling
haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63240
more correct exception handling
Mon, 06 Jun 2016 21:28:46 +0200 explicit tagging of code equations de-baroquifies interface
haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63239
explicit tagging of code equations de-baroquifies interface
Mon, 06 Jun 2016 21:28:45 +0200 dropped unused code
haftmann [Mon, 06 Jun 2016 21:28:45 +0200] rev 63238
dropped unused code
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip