2013-04-10 wenzelm [Wed, 10 Apr 2013 19:14:47 +0200] rev 51689
merged
NEWS src/HOL/HOL.thy src/HOL/Tools/Quickcheck/narrowing_generators.ML

2013-04-10 wenzelm [Wed, 10 Apr 2013 17:27:38 +0200] rev 51688
obsolete -- tools should refer to proper Proof.context;
src/Provers/classical.ML src/Pure/simplifier.ML

2013-04-10 wenzelm [Wed, 10 Apr 2013 17:17:16 +0200] rev 51687
discontinued obsolete ML antiquotation @{claset};
src/FOL/FOL.thy src/HOL/HOL.thy

2013-04-10 wenzelm [Wed, 10 Apr 2013 17:02:47 +0200] rev 51686
added ML antiquotation @{theory_context};
NEWS src/Doc/IsarImplementation/Prelim.thy src/HOL/BNF/Tools/bnf_wrap_tactics.ML src/HOL/HOLCF/IOA/meta_theory/Automata.thy src/HOL/HOLCF/IOA/meta_theory/CompoScheds.thy src/HOL/MicroJava/J/JTypeSafe.thy src/HOL/Word/WordBitwise.thy src/Pure/Isar/proof_context.ML src/Pure/ML/ml_antiquote.ML src/Pure/context.ML src/ZF/IntDiv_ZF.thy

2013-04-10 wenzelm [Wed, 10 Apr 2013 15:30:19 +0200] rev 51685
more standard module name Axclass (according to file name);
src/Doc/more_antiquote.ML src/HOL/HOLCF/Tools/Domain/domain.ML src/HOL/HOLCF/Tools/Domain/domain_axioms.ML src/HOL/HOLCF/Tools/Domain/domain_isomorphism.ML src/HOL/HOLCF/Tools/cpodef.ML src/HOL/Library/refute.ML src/HOL/Nominal/nominal_atoms.ML src/HOL/Nominal/nominal_datatype.ML src/HOL/Tools/Datatype/datatype_codegen.ML src/HOL/Tools/Nitpick/nitpick_preproc.ML src/HOL/Tools/Predicate_Compile/predicate_compile.ML src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML src/HOL/Tools/Quickcheck/narrowing_generators.ML src/HOL/Tools/code_evaluation.ML src/HOL/Tools/record.ML src/Pure/Isar/class.ML src/Pure/Isar/class_declaration.ML src/Pure/Isar/code.ML src/Pure/Isar/isar_syn.ML src/Pure/Isar/typedecl.ML src/Pure/axclass.ML src/Tools/Code/code_preproc.ML src/Tools/Code/code_target.ML src/Tools/Code/code_thingol.ML src/Tools/nbe.ML

2013-04-10 traytel [Wed, 10 Apr 2013 19:52:19 +0200] rev 51684
made SML/NJ happy
src/HOL/Tools/case_translation.ML

2013-04-10 hoelzl [Wed, 10 Apr 2013 18:51:21 +0200] rev 51683
generalize Borel-set properties from real/ereal/ordered_euclidean_spaces to order_topology and real_normed_vector
src/HOL/Probability/Borel_Space.thy src/HOL/Probability/Probability_Measure.thy src/HOL/Probability/Sigma_Algebra.thy

2013-04-10 traytel [Wed, 10 Apr 2013 17:49:16 +0200] rev 51682
NEWS and CONTRIBUTORS
CONTRIBUTORS NEWS

2013-04-10 traytel [Wed, 10 Apr 2013 17:49:16 +0200] rev 51681
declaration attribute for case combinators
src/HOL/Tools/case_translation.ML

2013-04-09 berghofe [Tue, 09 Apr 2013 18:27:49 +0200] rev 51680
Handle dummy patterns in parse translation rather than check phase
src/HOL/Tools/case_translation.ML