2015-11-15 wenzelm [Sun, 15 Nov 2015 13:49:27 +0100] rev 61682
merged
NEWS src/HOL/List.thy

2015-11-15 wenzelm [Sun, 15 Nov 2015 12:39:51 +0100] rev 61681
option "inductive_defs" controls exposure of def and mono facts;
NEWS src/HOL/BNF_Def.thy src/HOL/Basic_BNFs.thy src/HOL/Finite_Set.thy src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy src/HOL/Library/Stream.thy src/HOL/List.thy src/HOL/Nitpick.thy src/HOL/Probability/Bochner_Integration.thy src/HOL/Tools/inductive.ML src/HOL/Transitive_Closure.thy

2015-11-14 wenzelm [Sat, 14 Nov 2015 18:37:49 +0100] rev 61680
tuned message;
src/Tools/jEdit/src/session_build.scala

2015-11-15 nipkow [Sun, 15 Nov 2015 14:38:29 +0100] rev 61679
added pretty syntax
src/HOL/Data_Structures/Tree23.thy

2015-11-15 nipkow [Sun, 15 Nov 2015 12:45:28 +0100] rev 61678
tuned white space
src/HOL/Data_Structures/AVL_Set.thy src/HOL/Data_Structures/RBT.thy src/HOL/Data_Structures/RBT_Set.thy src/HOL/Data_Structures/Tree23_Set.thy src/HOL/Data_Structures/Tree_Set.thy

2015-11-15 haftmann [Sun, 15 Nov 2015 11:27:55 +0100] rev 61677
leftover from 27ca6147e3b3
src/Pure/ROOT

2015-11-15 haftmann [Sun, 15 Nov 2015 10:52:51 +0100] rev 61676
tuned whitespace
src/Pure/Isar/interpretation.ML

2015-11-15 haftmann [Sun, 15 Nov 2015 10:51:22 +0100] rev 61675
NEWS
NEWS

2015-11-15 haftmann [Sun, 15 Nov 2015 10:45:45 +0100] rev 61674
droppen diagnostic junk from 4b53042d7a40
src/HOL/Tools/code_evaluation.ML

2015-11-14 haftmann [Sat, 14 Nov 2015 17:37:44 +0100] rev 61673
represent both algebraic and local-theory views on locale interpretation in interfaces
NEWS src/Doc/Isar_Ref/Spec.thy src/HOL/Statespace/state_space.ML src/Pure/Isar/interpretation.ML src/Pure/Isar/isar_syn.ML