2013-09-16 wenzelm [Mon, 16 Sep 2013 13:54:58 +0200] rev 53661
updated to cygwin-20130916;
Admin/components/bundled-windows

2013-09-16 wenzelm [Mon, 16 Sep 2013 13:22:02 +0200] rev 53660
more CHECKLIST;
Admin/Release/CHECKLIST

2013-09-16 wenzelm [Mon, 16 Sep 2013 13:11:32 +0200] rev 53659
updated cygwin snapshot;
Admin/components/components.sha1 Admin/lib/Tools/makedist_cygwin

2013-09-16 wenzelm [Mon, 16 Sep 2013 12:51:33 +0200] rev 53658
updated to smlnj 110.76;
Admin/isatest/settings/at-sml-dev-e Admin/mira.py

2013-09-16 wenzelm [Mon, 16 Sep 2013 12:37:54 +0200] rev 53657
prefer high-level ML_System.share_common_data, ML_System.save_state -- except for bootstrap images (RAW, Pure);
lib/scripts/run-polyml lib/scripts/run-polyml-5.5.1 lib/scripts/run-smlnj

2013-09-16 wenzelm [Mon, 16 Sep 2013 11:46:24 +0200] rev 53656
more NEWS;
NEWS

2013-09-16 panny [Mon, 16 Sep 2013 16:48:08 +0200] rev 53655
merge

2013-09-16 panny [Mon, 16 Sep 2013 15:03:23 +0200] rev 53654
prove simp theorems for newly generated definitions
src/Doc/Datatypes/Datatypes.thy src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-09-16 kuncar [Mon, 16 Sep 2013 15:30:20 +0200] rev 53653
example using restoring Transfer/Lifting context
src/HOL/Quotient_Examples/Int_Pow.thy

2013-09-16 kuncar [Mon, 16 Sep 2013 15:30:20 +0200] rev 53652
use lifting_forget for deregistering numeric types as a quotient type
src/HOL/Int.thy src/HOL/Rat.thy src/HOL/Real.thy