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;