Tue, 07 Jun 2016 19:57:41 +0200 clarified signature;
wenzelm [Tue, 07 Jun 2016 19:57:41 +0200] rev 63252
clarified signature;
Tue, 07 Jun 2016 19:55:45 +0200 clean facts more uniformly;
wenzelm [Tue, 07 Jun 2016 19:55:45 +0200] rev 63251
clean facts more uniformly;
Tue, 07 Jun 2016 15:44:18 +0200 expode method_facts via dynamic method context;
wenzelm [Tue, 07 Jun 2016 15:44:18 +0200] rev 63250
expode method_facts via dynamic method context;
Tue, 07 Jun 2016 11:27:01 +0200 tuned;
wenzelm [Tue, 07 Jun 2016 11:27:01 +0200] rev 63249
tuned;
Wed, 08 Jun 2016 16:46:48 +0200 generalized bitlen to floor of log
immler [Wed, 08 Jun 2016 16:46:48 +0200] rev 63248
generalized bitlen to floor of log
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
Mon, 06 Jun 2016 21:28:45 +0200 conventional syntax for unit abstractions
haftmann [Mon, 06 Jun 2016 21:28:45 +0200] rev 63237
conventional syntax for unit abstractions
Mon, 06 Jun 2016 16:04:26 +0200 added action "isabelle.select-entity";
wenzelm [Mon, 06 Jun 2016 16:04:26 +0200] rev 63236
added action "isabelle.select-entity";
Mon, 06 Jun 2016 15:52:25 +0200 tuned;
wenzelm [Mon, 06 Jun 2016 15:52:25 +0200] rev 63235
tuned;
Mon, 06 Jun 2016 14:16:25 +0200 clarified focus_defs vs. focus_refs, e.g. relevant for @{here} where this overlaps;
wenzelm [Mon, 06 Jun 2016 14:16:25 +0200] rev 63234
clarified focus_defs vs. focus_refs, e.g. relevant for @{here} where this overlaps;
Mon, 06 Jun 2016 11:50:13 +0200 tuned;
wenzelm [Mon, 06 Jun 2016 11:50:13 +0200] rev 63233
tuned;
Mon, 06 Jun 2016 10:34:56 +0200 less redundant exploration of full name space;
wenzelm [Mon, 06 Jun 2016 10:34:56 +0200] rev 63232
less redundant exploration of full name space;
Mon, 06 Jun 2016 08:36:03 +0200 tuned;
wenzelm [Mon, 06 Jun 2016 08:36:03 +0200] rev 63231
tuned;
Mon, 06 Jun 2016 08:13:07 +0200 avoid multiple reports on shared type;
wenzelm [Mon, 06 Jun 2016 08:13:07 +0200] rev 63230
avoid multiple reports on shared type;
Sat, 04 Jun 2016 16:54:23 +0200 updated to recent changes of Poly/ML directory layout;
wenzelm [Sat, 04 Jun 2016 16:54:23 +0200] rev 63229
updated to recent changes of Poly/ML directory layout;
Sat, 04 Jun 2016 16:23:42 +0200 tuned;
wenzelm [Sat, 04 Jun 2016 16:23:42 +0200] rev 63228
tuned;
Sat, 04 Jun 2016 16:10:44 +0200 Integer.lcm normalizes the sign as in HOL/GCD.thy;
wenzelm [Sat, 04 Jun 2016 16:10:44 +0200] rev 63227
Integer.lcm normalizes the sign as in HOL/GCD.thy; tuned;
Fri, 03 Jun 2016 22:27:01 +0200 support for .scala tools;
wenzelm [Fri, 03 Jun 2016 22:27:01 +0200] rev 63226
support for .scala tools;
Thu, 02 Jun 2016 17:47:47 +0200 move ennreal and ereal theorems from MFMC_Countable
hoelzl [Thu, 02 Jun 2016 17:47:47 +0200] rev 63225
move ennreal and ereal theorems from MFMC_Countable
Fri, 03 Jun 2016 14:11:11 +0200 more flexible build_selection;
wenzelm [Fri, 03 Jun 2016 14:11:11 +0200] rev 63224
more flexible build_selection;
Thu, 02 Jun 2016 17:05:40 +0200 clarified aliases (no warning for duplicates);
wenzelm [Thu, 02 Jun 2016 17:05:40 +0200] rev 63223
clarified aliases (no warning for duplicates);
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip