2014-05-14 wenzelm [Wed, 14 May 2014 12:24:38 +0200] rev 56960
updated to polyml-5.5.2;
Admin/components/components.sha1 Admin/components/main

2014-05-14 wenzelm [Wed, 14 May 2014 12:15:07 +0200] rev 56959
practically obsolete: plain "poly" should work, except for Linux without libgmp installed;
Admin/polyml/CHECKLIST Admin/polyml/polyml

2014-05-14 wenzelm [Wed, 14 May 2014 12:00:18 +0200] rev 56958
updated to polyml-5.5.2;
Admin/polyml/README Admin/polyml/build Admin/polyml/settings

2014-05-14 desharna [Wed, 14 May 2014 11:37:48 +0200] rev 56957
document 'set_empty'
src/Doc/Datatypes/Datatypes.thy

2014-05-12 desharna [Mon, 12 May 2014 17:42:54 +0200] rev 56956
generate 'set_empty' theorem for BNFs
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML

2014-05-08 desharna [Thu, 08 May 2014 12:54:33 +0200] rev 56955
document 'map_id0'
src/Doc/Datatypes/Datatypes.thy

2014-05-08 desharna [Thu, 08 May 2014 12:54:02 +0200] rev 56954
note map_id0 more often
src/HOL/Tools/BNF/bnf_def.ML

2014-05-14 nipkow [Wed, 14 May 2014 11:33:38 +0200] rev 56953
added lemma
src/HOL/List.thy

2014-05-13 nipkow [Tue, 13 May 2014 22:14:12 +0200] rev 56952
added lemmas
src/HOL/Transcendental.thy

2014-05-13 blanchet [Tue, 13 May 2014 16:18:16 +0200] rev 56951
transfer theorems since 'silence_methods' may change the theory
src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML