2009-04-17 haftmann [Fri, 17 Apr 2009 08:34:51 +0200] rev 30939
added both cancel_div_mod_procs
src/HOL/Decision_Procs/cooper_tac.ML src/HOL/Decision_Procs/mir_tac.ML

2009-04-16 haftmann [Thu, 16 Apr 2009 14:10:58 +0200] rev 30938
wellsortedness is no issue for a user manual any more
doc-src/Codegen/Thy/Program.thy doc-src/Codegen/Thy/document/Program.tex

2009-04-16 haftmann [Thu, 16 Apr 2009 14:02:14 +0200] rev 30937
whitespace tuning
src/Provers/Arith/cancel_div_mod.ML

2009-04-16 haftmann [Thu, 16 Apr 2009 14:02:13 +0200] rev 30936
added simproc
src/HOL/Tools/Qelim/presburger.ML

2009-04-16 haftmann [Thu, 16 Apr 2009 14:02:12 +0200] rev 30935
dropped unnamed infix
src/HOL/Map.thy

2009-04-16 haftmann [Thu, 16 Apr 2009 14:02:11 +0200] rev 30934
tuned setups of CancelDivMod
src/HOL/Divides.thy src/HOL/IntDiv.thy

2009-04-16 haftmann [Thu, 16 Apr 2009 10:11:45 +0200] rev 30933
merged

2009-04-16 haftmann [Thu, 16 Apr 2009 10:11:35 +0200] rev 30932
tuned order of functions
src/Tools/code/code_thingol.ML

2009-04-16 haftmann [Thu, 16 Apr 2009 10:11:35 +0200] rev 30931
generalized some simprocs from int to semiring_div
src/HOL/Tools/int_factor_simprocs.ML

2009-04-16 haftmann [Thu, 16 Apr 2009 10:11:34 +0200] rev 30930
tightended specification of class semiring_div
NEWS src/HOL/Divides.thy src/HOL/IntDiv.thy src/HOL/Library/Polynomial.thy