2016-02-08 hoelzl [Mon, 08 Feb 2016 17:18:13 +0100] rev 62367
move product topology to HOL-Complex_Main
src/HOL/Filter.thy src/HOL/Library/Product_Vector.thy src/HOL/Topological_Spaces.thy

2016-02-18 haftmann [Thu, 18 Feb 2016 17:53:09 +0100] rev 62366
more theorems
src/HOL/Library/Multiset.thy src/HOL/Number_Theory/Factorial_Ring.thy src/HOL/Power.thy src/HOL/Rings.thy

2016-02-18 haftmann [Thu, 18 Feb 2016 17:52:53 +0100] rev 62365
sorted out some duplicate fact bindings
src/HOL/Nat.thy src/HOL/Tools/nat_arith.ML

2016-02-18 haftmann [Thu, 18 Feb 2016 17:52:52 +0100] rev 62364
more direct bootstrap of char type, still retaining the nibble representation for syntax
src/HOL/Library/Code_Char.thy src/HOL/Quickcheck_Exhaustive.thy src/HOL/String.thy

2016-02-19 wenzelm [Fri, 19 Feb 2016 15:01:38 +0100] rev 62363
moved examples to avoid dependency on bulky HOL-Proofs session, e.g. relevant for "isabelle makedist";
src/Doc/Implementation/Logic.thy src/Doc/ROOT src/HOL/Proofs/ex/Proof_Terms.thy src/HOL/ROOT

2016-02-19 wenzelm [Fri, 19 Feb 2016 14:50:12 +0100] rev 62362
tutorial is old;
doc/Contents

2016-02-19 nipkow [Fri, 19 Feb 2016 07:57:23 +0100] rev 62361
tuned
src/HOL/ex/Cubic_Quartic.thy

2016-02-18 wenzelm [Thu, 18 Feb 2016 23:30:06 +0100] rev 62360
merged
lib/scripts/process src/Pure/Concurrent/bash_sequential.ML src/Pure/Concurrent/lazy_sequential.ML src/Pure/Concurrent/par_list_sequential.ML src/Pure/Concurrent/single_assignment_sequential.ML src/Pure/Concurrent/synchronized_sequential.ML src/Pure/RAW/multithreading_polyml.ML

2016-02-18 wenzelm [Thu, 18 Feb 2016 23:10:28 +0100] rev 62359
unconditional Multithreading;
clarified files;
lib/scripts/process src/Pure/Concurrent/bash_sequential.ML src/Pure/Concurrent/future.ML src/Pure/Concurrent/lazy_sequential.ML src/Pure/Concurrent/par_list_sequential.ML src/Pure/Concurrent/single_assignment_sequential.ML src/Pure/Concurrent/synchronized_sequential.ML src/Pure/RAW/ROOT_polyml.ML src/Pure/RAW/multithreading.ML src/Pure/RAW/multithreading_polyml.ML src/Pure/ROOT src/Pure/ROOT.ML src/Pure/System/message_channel.ML

2016-02-18 haftmann [Thu, 18 Feb 2016 17:07:10 +0100] rev 62358
NEWS concerning 66a381d3f88f
NEWS