2015-08-31 wenzelm [Mon, 31 Aug 2015 21:01:21 +0200] rev 61069
prefer symbols;
NEWS src/HOL/Bali/Table.thy src/HOL/IMPP/Com.thy src/HOL/Map.thy src/HOL/Nominal/Examples/Fsub.thy src/HOL/Nominal/Examples/Pattern.thy

2015-08-31 wenzelm [Mon, 31 Aug 2015 20:56:24 +0200] rev 61068
proper qualified naming;
src/HOL/Cardinals/Ordinal_Arithmetic.thy src/HOL/Library/Mapping.thy src/HOL/Option.thy

2015-08-31 wenzelm [Mon, 31 Aug 2015 20:55:22 +0200] rev 61067
misc tuning and clarification;
src/HOL/Tools/BNF/bnf_lift.ML

2015-08-31 wenzelm [Mon, 31 Aug 2015 19:34:26 +0200] rev 61066
misc tuning and modernization;
src/HOL/Option.thy

2015-08-31 wenzelm [Mon, 31 Aug 2015 19:04:24 +0200] rev 61065
clarified context;
src/HOL/Tools/Ctr_Sugar/ctr_sugar_code.ML

2015-08-31 wenzelm [Mon, 31 Aug 2015 19:04:01 +0200] rev 61064
tuned signature;
src/Pure/morphism.ML

2015-08-31 wenzelm [Mon, 31 Aug 2015 19:02:00 +0200] rev 61063
clarified context;
src/HOL/Tools/inductive.ML

2015-08-31 wenzelm [Mon, 31 Aug 2015 14:16:32 +0200] rev 61062
tuned message;
src/Pure/context.ML

2015-08-31 wenzelm [Mon, 31 Aug 2015 05:12:14 +0200] rev 61061
trim context for persistent storage;
src/Pure/Isar/locale.ML

2015-08-30 wenzelm [Sun, 30 Aug 2015 23:34:24 +0200] rev 61060
trim context for persistent storage;
src/Pure/Isar/spec_rules.ML