2012-10-12 wenzelm 2012-10-12 discontinued typedef with alternative name;
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2012-10-12 wenzelm 2012-10-12 discontinued typedef with implicit set_def;
2012-10-12 wenzelm 2012-10-12 merged
2012-10-12 bulwahn 2012-10-12 increading indexes to avoid clashes in the set_comprehension_pointfree simproc
2012-10-12 wenzelm 2012-10-12 no special treatment of errors inside goal forks without transaction id, to avoid duplication in plain build with sequential log, for example;
2012-10-12 wenzelm 2012-10-12 do not treat interrupt as error here, to avoid confusion in log etc.;
2012-10-12 wenzelm 2012-10-12 more basic ML compiler messages -- avoid conflict of 638cefe3ee99 and cb7264721c91 concerning Protocol.message_positions;
2012-10-11 wenzelm 2012-10-11 refined separator: FBreak needs to be free for proper breaking, extra space at end helps to work around last-line oddity in jEdit;
2012-10-11 wenzelm 2012-10-11 merged
2012-10-11 hoelzl 2012-10-11 cleanup borel_measurable_positive_integral_(fst|snd)
2012-10-11 haftmann 2012-10-11 msetprod based directly on Multiset.fold; pretty syntax for msetprod_image
2012-10-11 haftmann 2012-10-11 avoid global interpretation
2012-10-11 haftmann 2012-10-11 simplified construction of fold combinator on multisets; more coherent name for fold combinator on multisets
2012-10-11 wenzelm 2012-10-11 clarified output token markup (see also bc22daeed49e);
2012-10-11 wenzelm 2012-10-11 refined aprop_tr' -- retain entity information by using type slot as adhoc marker;
2012-10-11 wenzelm 2012-10-11 refrain from quantifying outer fixes, to enable nesting of contexts like "context fixes x context assumes A x"; tuned;
2012-10-11 wenzelm 2012-10-11 tuned;
2012-10-11 wenzelm 2012-10-11 tuned;
2012-10-11 wenzelm 2012-10-11 more position information for hyperlink and placement of message;
2012-10-11 wenzelm 2012-10-11 tuned;
2012-10-11 krauss 2012-10-11 mira: discontinued special settings for lxbroy10, which are probably made obsolete by newer polyml
2012-10-10 krauss 2012-10-10 removed unused legacy material from mira.py
2012-10-10 wenzelm 2012-10-10 eliminated some remaining uses of typedef with implicit set definition;
2012-10-10 Andreas Lochbihler 2012-10-10 merged
2012-10-10 Andreas Lochbihler 2012-10-10 fix code equation for RBT_Impl.fold
2012-10-10 Andreas Lochbihler 2012-10-10 merged
2012-10-10 Andreas Lochbihler 2012-10-10 tail-recursive implementation for length
2012-10-10 Andreas Lochbihler 2012-10-10 correct definition for skip_black
2012-10-10 wenzelm 2012-10-10 merged
2012-10-10 hoelzl 2012-10-10 merged
2012-10-10 hoelzl 2012-10-10 infprod generator works also with empty index set
2012-10-10 hoelzl 2012-10-10 add finite entropy
2012-10-10 hoelzl 2012-10-10 continuous version of mutual_information_eq_entropy_conditional_entropy
2012-10-10 hoelzl 2012-10-10 add induction for real Borel measurable functions
2012-10-10 hoelzl 2012-10-10 induction prove for positive_integral_fst
2012-10-10 hoelzl 2012-10-10 strong nonnegativ (instead of ae nn) for induction rule
2012-10-10 hoelzl 2012-10-10 induction prove for positive_integral_density
2012-10-10 hoelzl 2012-10-10 add induction rules for simple functions and for Borel measurable functions
2012-10-10 hoelzl 2012-10-10 introduce induction rules for simple functions and for Borel measurable functions
2012-10-10 hoelzl 2012-10-10 joint distribution of independent variables
2012-10-10 hoelzl 2012-10-10 indep_vars does not need sigma-sets
2012-10-10 hoelzl 2012-10-10 simplified definitions
2012-10-10 hoelzl 2012-10-10 remove unnecessary assumption from conditional_entropy_eq
2012-10-10 hoelzl 2012-10-10 alternative definition of conditional entropy
2012-10-10 hoelzl 2012-10-10 remove unneeded assumption from conditional_entropy_generic_eq
2012-10-10 hoelzl 2012-10-10 add induction rule for intersection-stable sigma-sets
2012-10-10 hoelzl 2012-10-10 show and use distributed_swap and distributed_jointI
2012-10-10 hoelzl 2012-10-10 rule to show that conditional mutual information is non-negative in the continuous case
2012-10-10 hoelzl 2012-10-10 continuous version of entropy_le
2012-10-10 hoelzl 2012-10-10 simplified entropy_uniform
2012-10-10 hoelzl 2012-10-10 remove incseq assumption from measure_eqI_generator_eq
2012-10-10 hoelzl 2012-10-10 generalize from prob_space to finite_measure
2012-10-10 hoelzl 2012-10-10 add measurable_compose
2012-10-10 hoelzl 2012-10-10 simplified assumptions for kolmogorov_0_1_law
2012-10-10 hoelzl 2012-10-10 merge should operate on pairs
2012-10-10 hoelzl 2012-10-10 remove incseq assumption from sigma_prod_algebra_sigma_eq
2012-10-10 hoelzl 2012-10-10 sigma_finite_iff_density_finite does not require a positive density function
2012-10-10 hoelzl 2012-10-10 tuned Lebesgue measure proofs
2012-10-10 hoelzl 2012-10-10 tuned product measurability