2013-09-25 wenzelm [Wed, 25 Sep 2013 15:26:19 +0200] rev 53882
removed obsolete cobra.jar, js.jar (see also 30de372ca56f);
added MacOSX.jar based on SVN 23208 (essentially plugin version 1.3);
Admin/components/components.sha1 Admin/components/main src/Tools/jEdit/lib/Tools/jedit

2013-09-25 nipkow [Wed, 25 Sep 2013 15:49:15 +0200] rev 53881
merged

2013-09-25 nipkow [Wed, 25 Sep 2013 15:49:09 +0200] rev 53880
tuned
src/HOL/IMP/Compiler.thy src/HOL/IMP/Compiler2.thy

2013-09-25 blanchet [Wed, 25 Sep 2013 14:28:10 +0200] rev 53879
break more conjunctions
src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML src/HOL/BNF/Tools/bnf_util.ML

2013-09-25 blanchet [Wed, 25 Sep 2013 14:21:18 +0200] rev 53878
move useful functions to library
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML src/HOL/BNF/Tools/bnf_fp_rec_sugar_util.ML

2013-09-25 panny [Wed, 25 Sep 2013 13:39:34 +0200] rev 53877
merge
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-09-25 panny [Wed, 25 Sep 2013 12:43:20 +0200] rev 53876
simplified code
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-09-25 panny [Wed, 25 Sep 2013 00:38:13 +0200] rev 53875
add non-corecursive constructor view theorems to simps
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-09-25 wenzelm [Wed, 25 Sep 2013 12:52:21 +0200] rev 53874
merged

2013-09-25 wenzelm [Wed, 25 Sep 2013 12:42:56 +0200] rev 53873
tuned proofs;
src/HOL/Library/Extended_Real.thy