2010-11-22 haftmann [Mon, 22 Nov 2010 09:18:25 +0100] rev 40629
tuned
src/Tools/Code/code_namespace.ML

2010-11-20 wenzelm [Sat, 20 Nov 2010 01:07:16 +0100] rev 40628
updated explode vs. raw_explode;
doc-src/IsarImplementation/Thy/Prelim.thy doc-src/IsarImplementation/Thy/document/Prelim.tex

2010-11-20 wenzelm [Sat, 20 Nov 2010 00:53:26 +0100] rev 40627
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
NEWS src/HOL/Boogie/Tools/boogie_commands.ML src/HOL/Boogie/Tools/boogie_loader.ML src/HOL/Import/lazy_seq.ML src/HOL/Import/mono_scan.ML src/HOL/Import/proof_kernel.ML src/HOL/Import/scan.ML src/HOL/Import/seq.ML src/HOL/Library/Sum_Of_Squares/sum_of_squares.ML src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML src/HOL/Nominal/nominal_datatype.ML src/HOL/Proofs/Lambda/WeakNorm.thy src/HOL/Tools/ATP/atp_proof.ML src/HOL/Tools/Datatype/datatype_prop.ML src/HOL/Tools/Function/size.ML src/HOL/Tools/Nitpick/kodkod.ML src/HOL/Tools/Nitpick/nitpick_model.ML src/HOL/Tools/Nitpick/nitpick_util.ML src/HOL/Tools/SMT/z3_model.ML src/HOL/Tools/SMT/z3_proof_parser.ML src/HOL/Tools/Sledgehammer/sledgehammer.ML src/HOL/Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML src/HOL/Tools/Sledgehammer/sledgehammer_util.ML src/HOL/Tools/hologic.ML src/HOL/Tools/refute.ML src/HOL/Tools/string_syntax.ML src/Pure/General/path.ML src/Pure/General/scan.ML src/Pure/General/source.ML src/Pure/General/symbol.ML src/Pure/General/xml.ML src/Pure/Isar/class.ML src/Pure/Isar/token.ML src/Pure/ML-Systems/polyml_common.ML src/Pure/ML-Systems/smlnj.ML src/Pure/ML/ml_lex.ML src/Pure/Proof/extraction.ML src/Pure/codegen.ML src/Pure/library.ML src/Pure/name.ML src/Tools/Code/code_ml.ML src/Tools/Code/code_printer.ML src/Tools/IsaPlanner/rw_tools.ML src/Tools/WWW_Find/unicode_symbols.ML src/Tools/cache_io.ML

2010-11-19 wenzelm [Fri, 19 Nov 2010 23:48:07 +0100] rev 40626
total Symbol.explode (cf. 1050315f6ee2);
src/Pure/ML/ml_syntax.ML

2010-11-19 wenzelm [Fri, 19 Nov 2010 21:14:12 +0100] rev 40625
do not export Thy_Load.required, to avoid confusion about the interface;
src/Pure/Thy/thy_load.ML

2010-11-19 huffman [Fri, 19 Nov 2010 09:07:23 -0800] rev 40624
merged
NEWS

2010-11-17 huffman [Wed, 17 Nov 2010 16:13:33 -0800] rev 40623
declare adm_chfin [simp]
src/HOLCF/Adm.thy

2010-11-17 huffman [Wed, 17 Nov 2010 16:05:18 -0800] rev 40622
add lemma cont_fun; remove unused lemma monofun_app
src/HOLCF/Fun_Cpo.thy

2010-11-17 huffman [Wed, 17 Nov 2010 12:19:19 -0800] rev 40621
accumulated NEWS updates for HOLCF
NEWS

2010-11-17 huffman [Wed, 17 Nov 2010 11:39:44 -0800] rev 40620
section -> subsection
src/HOL/Meson.thy src/HOL/Smallcheck.thy