wenzelm [Tue, 07 Jun 2016 19:57:41 +0200] rev 63252
clarified signature;
wenzelm [Tue, 07 Jun 2016 19:55:45 +0200] rev 63251
clean facts more uniformly;
wenzelm [Tue, 07 Jun 2016 15:44:18 +0200] rev 63250
expode method_facts via dynamic method context;
wenzelm [Tue, 07 Jun 2016 11:27:01 +0200] rev 63249
tuned;
immler [Wed, 08 Jun 2016 16:46:48 +0200] rev 63248
generalized bitlen to floor of log
Andreas Lochbihler [Wed, 08 Jun 2016 09:09:46 +0200] rev 63247
repair Unicode mess-up in c493859d4267
Andreas Lochbihler [Wed, 08 Jun 2016 09:07:05 +0200] rev 63246
NEWS and CONTRIBUTORS for SPMF
Andreas Lochbihler [Wed, 08 Jun 2016 09:05:32 +0200] rev 63245
merged
Andreas Lochbihler [Tue, 07 Jun 2016 17:16:24 +0200] rev 63244
import wasysym needed by Rewrite.thy
Andreas Lochbihler [Tue, 07 Jun 2016 15:12:27 +0200] rev 63243
add theory of discrete subprobability distributions
haftmann [Mon, 06 Jun 2016 22:22:05 +0200] rev 63242
clear distinction between different situations concerning strictness of code equations
haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63241
tuned signature
haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63240
more correct exception handling
haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63239
explicit tagging of code equations de-baroquifies interface
haftmann [Mon, 06 Jun 2016 21:28:45 +0200] rev 63238
dropped unused code
haftmann [Mon, 06 Jun 2016 21:28:45 +0200] rev 63237
conventional syntax for unit abstractions
wenzelm [Mon, 06 Jun 2016 16:04:26 +0200] rev 63236
added action "isabelle.select-entity";
wenzelm [Mon, 06 Jun 2016 15:52:25 +0200] rev 63235
tuned;
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;
wenzelm [Mon, 06 Jun 2016 11:50:13 +0200] rev 63233
tuned;
wenzelm [Mon, 06 Jun 2016 10:34:56 +0200] rev 63232
less redundant exploration of full name space;
wenzelm [Mon, 06 Jun 2016 08:36:03 +0200] rev 63231
tuned;
wenzelm [Mon, 06 Jun 2016 08:13:07 +0200] rev 63230
avoid multiple reports on shared type;
wenzelm [Sat, 04 Jun 2016 16:54:23 +0200] rev 63229
updated to recent changes of Poly/ML directory layout;
wenzelm [Sat, 04 Jun 2016 16:23:42 +0200] rev 63228
tuned;
wenzelm [Sat, 04 Jun 2016 16:10:44 +0200] rev 63227
Integer.lcm normalizes the sign as in HOL/GCD.thy;
tuned;
wenzelm [Fri, 03 Jun 2016 22:27:01 +0200] rev 63226
support for .scala tools;
hoelzl [Thu, 02 Jun 2016 17:47:47 +0200] rev 63225
move ennreal and ereal theorems from MFMC_Countable
wenzelm [Fri, 03 Jun 2016 14:11:11 +0200] rev 63224
more flexible build_selection;
wenzelm [Thu, 02 Jun 2016 17:05:40 +0200] rev 63223
clarified aliases (no warning for duplicates);