2016-01-18 wenzelm [Mon, 18 Jan 2016 14:59:59 +0100] rev 62197
updated mirrors according to website;
ANNOUNCE README

2016-01-17 nipkow [Sun, 17 Jan 2016 17:56:33 +0100] rev 62196
renamed map_of to lookup
src/HOL/Data_Structures/Map_by_Ordered.thy

2016-01-17 wenzelm [Sun, 17 Jan 2016 00:14:45 +0100] rev 62195
more method definitions;
src/HOL/HOLCF/IOA/Abstraction.thy src/HOL/HOLCF/IOA/CompoExecs.thy src/HOL/HOLCF/IOA/CompoScheds.thy src/HOL/HOLCF/IOA/CompoTraces.thy src/HOL/HOLCF/IOA/Deadlock.thy src/HOL/HOLCF/IOA/LiveIOA.thy src/HOL/HOLCF/IOA/RefCorrectness.thy src/HOL/HOLCF/IOA/Sequence.thy src/HOL/HOLCF/IOA/ShortExecutions.thy src/HOL/HOLCF/IOA/SimCorrectness.thy src/HOL/HOLCF/IOA/TL.thy src/HOL/HOLCF/IOA/TLS.thy src/HOL/HOLCF/IOA/Traces.thy

2016-01-16 wenzelm [Sat, 16 Jan 2016 23:35:55 +0100] rev 62194
tuned syntax;
src/HOL/HOLCF/IOA/Pred.thy src/HOL/HOLCF/IOA/TL.thy

2016-01-16 wenzelm [Sat, 16 Jan 2016 23:31:28 +0100] rev 62193
tuned;
src/HOL/HOLCF/IOA/Abstraction.thy src/HOL/HOLCF/IOA/Sequence.thy src/HOL/HOLCF/IOA/TLS.thy src/HOL/HOLCF/IOA/Traces.thy

2016-01-16 wenzelm [Sat, 16 Jan 2016 23:24:50 +0100] rev 62192
misc tuning and modernization;
src/HOL/HOLCF/IOA/Abstraction.thy src/HOL/HOLCF/IOA/Compositionality.thy src/HOL/HOLCF/IOA/LiveIOA.thy src/HOL/HOLCF/IOA/Pred.thy src/HOL/HOLCF/IOA/SimCorrectness.thy src/HOL/HOLCF/IOA/Simulations.thy src/HOL/HOLCF/IOA/TLS.thy

2016-01-16 wenzelm [Sat, 16 Jan 2016 16:37:45 +0100] rev 62191
keep src/Doc;
Admin/Release/build_library lib/html/library_index_content.template

2016-01-16 wenzelm [Sat, 16 Jan 2016 15:57:38 +0100] rev 62190
tuned URLs according to website;
ANNOUNCE README

2016-01-16 wenzelm [Sat, 16 Jan 2016 15:04:31 +0100] rev 62189
more symbols;
src/HOL/Library/Monad_Syntax.thy

2016-01-16 wenzelm [Sat, 16 Jan 2016 15:03:55 +0100] rev 62188
tuned message;
src/Pure/Isar/proof_display.ML