2016-06-22 wenzelm [Wed, 22 Jun 2016 10:09:20 +0200] rev 63343
bundle lifting_syntax;
NEWS src/HOL/Filter.thy src/HOL/Groups_List.thy src/HOL/Library/Complete_Partial_Order2.thy src/HOL/Library/Countable_Set_Type.thy src/HOL/Library/FSet.thy src/HOL/Library/Mapping.thy src/HOL/Lifting.thy src/HOL/Lifting_Set.thy src/HOL/List.thy src/HOL/Option.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Probability/SPMF.thy src/HOL/Quotient.thy src/HOL/Quotient_Examples/Lift_FSet.thy src/HOL/Transfer.thy src/HOL/ex/Transfer_Int_Nat.thy

2016-06-21 wenzelm [Tue, 21 Jun 2016 17:35:45 +0200] rev 63342
tuned;
src/HOL/Tools/BNF/bnf_gfp_grec.ML src/HOL/Tools/Lifting/lifting_def_code_dt.ML src/HOL/Tools/record.ML src/Pure/Pure.thy

2016-06-21 wenzelm [Tue, 21 Jun 2016 17:25:28 +0200] rev 63341
clarified derived bindings (for PIDE reports);
src/HOL/Tools/Lifting/lifting_def.ML

2016-06-21 wenzelm [Tue, 21 Jun 2016 17:21:57 +0200] rev 63340
clarified rendering (amending ae9330fdbc16);
src/Tools/jEdit/src/rendering.scala

2016-06-21 wenzelm [Tue, 21 Jun 2016 16:10:03 +0200] rev 63339
tuned whitespace;
src/Pure/Isar/generic_target.ML

2016-06-21 wenzelm [Tue, 21 Jun 2016 15:10:43 +0200] rev 63338
merged

2016-06-21 wenzelm [Tue, 21 Jun 2016 14:42:47 +0200] rev 63337
position information for literal facts;
Markup.entry may have empty kind/name;
src/HOL/Mirabelle/Tools/mirabelle_metis.ML src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML src/Pure/Isar/proof_context.ML src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/facts.ML src/Tools/jEdit/src/rendering.scala

2016-06-21 wenzelm [Tue, 21 Jun 2016 11:03:24 +0200] rev 63336
tuned;
src/Pure/Isar/attrib.ML

2016-06-21 wenzelm [Tue, 21 Jun 2016 10:41:29 +0200] rev 63335
tuned;
src/Pure/General/binding.ML

2016-06-21 hoelzl [Tue, 21 Jun 2016 12:10:44 +0200] rev 63334
Multivariate_Analysis: add continuous_on_vec_lambda
src/HOL/Multivariate_Analysis/Cartesian_Euclidean_Space.thy