2011-09-17 wenzelm [Sat, 17 Sep 2011 16:29:18 +0200] rev 44950
added "isabelle scalac" convenience;
lib/Tools/scalac

2011-09-17 wenzelm [Sat, 17 Sep 2011 16:19:40 +0200] rev 44949
Symbol.explode as in ML;
src/Pure/General/symbol.scala

2011-09-17 wenzelm [Sat, 17 Sep 2011 16:00:54 +0200] rev 44948
ignore OUTPUT to avoid spam -- jEdit menu "Troubleshooting / Activity Log" should be sufficient;
Admin/MacOS/App1/script

2011-09-17 haftmann [Sat, 17 Sep 2011 15:08:55 +0200] rev 44947
dropped unused argument – avoids problem with SML/NJ
src/HOL/Tools/nat_numeral_simprocs.ML src/HOL/Tools/numeral_simprocs.ML src/Provers/Arith/cancel_numeral_factor.ML src/Provers/Arith/cancel_numerals.ML src/Provers/Arith/combine_numerals.ML src/ZF/arith_data.ML src/ZF/int_arith.ML

2011-09-17 haftmann [Sat, 17 Sep 2011 00:40:27 +0200] rev 44946
tuned spacing
src/HOL/Tools/lin_arith.ML

2011-09-17 haftmann [Sat, 17 Sep 2011 00:37:21 +0200] rev 44945
tuned
src/HOL/NSA/NSA.thy src/HOL/Tools/arith_data.ML src/HOL/Tools/nat_numeral_simprocs.ML src/HOL/Tools/numeral_simprocs.ML

2011-09-17 nipkow [Sat, 17 Sep 2011 04:41:44 +0200] rev 44944
tuned post fixpoint setup
src/HOL/IMP/AbsInt0.thy src/HOL/IMP/AbsInt0_const.thy src/HOL/IMP/AbsInt0_fun.thy src/HOL/IMP/AbsInt1.thy src/HOL/IMP/AbsInt1_ivl.thy src/HOL/IMP/AbsInt2.thy

2011-09-17 nipkow [Sat, 17 Sep 2011 03:37:14 +0200] rev 44943
merged

2011-09-16 nipkow [Fri, 16 Sep 2011 09:18:15 +0200] rev 44942
when applying induction rules, remove names of assumptions that come
with the rule in case the rule is transformed by the simplifier due to
instantiations
src/Tools/induct.ML

2011-09-16 noschinl [Fri, 16 Sep 2011 20:08:29 +0200] rev 44941
remove stray "using [[simp_trace]]"
src/HOL/Probability/Radon_Nikodym.thy