2016-06-08 Andreas Lochbihler [Wed, 08 Jun 2016 09:07:05 +0200] rev 63246
NEWS and CONTRIBUTORS for SPMF
CONTRIBUTORS NEWS

2016-06-08 Andreas Lochbihler [Wed, 08 Jun 2016 09:05:32 +0200] rev 63245
merged

2016-06-07 Andreas Lochbihler [Tue, 07 Jun 2016 17:16:24 +0200] rev 63244
import wasysym needed by Rewrite.thy
src/HOL/Probability/document/root.tex

2016-06-07 Andreas Lochbihler [Tue, 07 Jun 2016 15:12:27 +0200] rev 63243
add theory of discrete subprobability distributions
src/HOL/Library/Complete_Partial_Order2.thy src/HOL/Probability/Probability.thy src/HOL/Probability/SPMF.thy

2016-06-06 haftmann [Mon, 06 Jun 2016 22:22:05 +0200] rev 63242
clear distinction between different situations concerning strictness of code equations
src/Pure/Isar/code.ML

2016-06-06 haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63241
tuned signature
src/Doc/Codegen/Further.thy src/Pure/Isar/code.ML

2016-06-06 haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63240
more correct exception handling
src/Pure/Isar/code.ML

2016-06-06 haftmann [Mon, 06 Jun 2016 21:28:46 +0200] rev 63239
explicit tagging of code equations de-baroquifies interface
src/Doc/Codegen/Further.thy src/HOL/Library/Mapping.thy src/HOL/Library/old_recdef.ML src/HOL/Tools/BNF/bnf_fp_def_sugar.ML src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML src/HOL/Tools/BNF/bnf_lfp_compat.ML src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML src/HOL/Tools/BNF/bnf_lfp_size.ML src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML src/HOL/Tools/Ctr_Sugar/ctr_sugar_code.ML src/HOL/Tools/Function/function.ML src/HOL/Tools/Lifting/lifting_def.ML src/HOL/Tools/Old_Datatype/old_primrec.ML src/HOL/Tools/Old_Datatype/old_rep_datatype.ML src/HOL/Tools/Old_Datatype/old_size.ML src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML src/HOL/Tools/Quickcheck/narrowing_generators.ML src/HOL/Tools/Quickcheck/quickcheck_common.ML src/HOL/Tools/Quickcheck/random_generators.ML src/HOL/Tools/code_evaluation.ML src/HOL/Tools/record.ML src/Pure/Isar/code.ML src/Pure/Isar/specification.ML src/Pure/Proof/extraction.ML

2016-06-06 haftmann [Mon, 06 Jun 2016 21:28:45 +0200] rev 63238
dropped unused code
src/Pure/Isar/code.ML

2016-06-06 haftmann [Mon, 06 Jun 2016 21:28:45 +0200] rev 63237
conventional syntax for unit abstractions
NEWS src/HOL/Product_Type.thy