2015-04-10 nipkow [Fri, 10 Apr 2015 12:16:58 +0200] rev 59999
merged
src/HOL/Library/Multiset.thy

2015-04-10 nipkow [Fri, 10 Apr 2015 12:16:45 +0200] rev 59998
renamed Multiset.fold -> fold_mset, Multiset.filter -> filter_mset
NEWS src/HOL/Library/DAList_Multiset.thy src/HOL/Library/Multiset.thy

2015-04-10 wenzelm [Fri, 10 Apr 2015 11:52:55 +0200] rev 59997
tuned proofs;
src/HOL/Library/Multiset.thy src/HOL/Library/Sublist.thy

2015-04-10 wenzelm [Fri, 10 Apr 2015 11:31:10 +0200] rev 59996
tuned signature;
src/HOL/Num.thy src/HOL/Tools/int_arith.ML src/HOL/Tools/lin_arith.ML src/Provers/Arith/fast_lin_arith.ML

2015-04-10 wenzelm [Fri, 10 Apr 2015 11:29:12 +0200] rev 59995
tuned;
src/Pure/drule.ML

2015-04-09 blanchet [Thu, 09 Apr 2015 23:10:08 +0200] rev 59994
renamed misleading option
src/HOL/Tools/BNF/bnf_comp.ML

2015-04-09 wenzelm [Thu, 09 Apr 2015 22:56:31 +0200] rev 59993
obsolete;
Admin/Release/build_library Admin/isatest/settings/mac-poly-M2-alternative Admin/isatest/settings/mac-poly-M4 Admin/isatest/settings/mac-poly-M8 Admin/isatest/settings/mac-poly-M8-quick_and_dirty Admin/isatest/settings/mac-poly-M8-skip_proofs Admin/mira.py

2015-04-09 wenzelm [Thu, 09 Apr 2015 22:53:26 +0200] rev 59992
make SML/NJ more happy;
src/Doc/Isar_Ref/Proof.thy src/HOL/Nominal/nominal_datatype.ML src/HOL/Probability/measurable.ML src/HOL/ROOT

2015-04-09 wenzelm [Thu, 09 Apr 2015 20:42:38 +0200] rev 59991
merged
NEWS

2015-04-09 wenzelm [Thu, 09 Apr 2015 20:42:32 +0200] rev 59990
clarified keyword 'qualified' in accordance to a similar keyword from Haskell (despite unrelated Binding.qualified in Isabelle/ML);
NEWS src/Doc/Isar_Ref/Spec.thy src/FOL/FOL.thy src/HOL/HOL.thy src/HOL/Library/AList.thy src/Pure/General/binding.ML src/Pure/General/name_space.ML src/Pure/Isar/outer_syntax.ML src/Pure/Isar/parse.ML src/Pure/Isar/proof_context.ML src/Pure/Isar/token.ML src/Pure/Isar/token.scala src/Pure/Isar/toplevel.ML src/Pure/Pure.thy src/Pure/sign.ML