2013-02-28 wenzelm [Thu, 28 Feb 2013 14:24:21 +0100] rev 51310
eliminated legacy 'axioms';
src/Doc/Tutorial/Protocol/Public.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 14:22:14 +0100] rev 51309
eliminated legacy 'axioms';
src/Sequents/ILL.thy src/Sequents/LK/Nat.thy src/Sequents/LK0.thy src/Sequents/S4.thy src/Sequents/S43.thy src/Sequents/T.thy src/Sequents/Washing.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 14:10:54 +0100] rev 51308
eliminated legacy 'axioms';
src/CTT/CTT.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 13:54:45 +0100] rev 51307
eliminated legacy 'axioms';
src/CCL/CCL.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 13:46:45 +0100] rev 51306
eliminated legacy 'axioms';
src/FOLP/IFOLP.thy src/FOLP/ex/Nat.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 13:33:01 +0100] rev 51305
eliminated legacy 'axioms';
src/HOL/ex/MT.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 13:24:51 +0100] rev 51304
marginalized historic strip_tac;
src/Doc/IsarRef/ML_Tactic.thy src/HOL/Bali/Basis.thy src/HOL/HOL.thy src/HOL/MicroJava/J/JTypeSafe.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 13:19:25 +0100] rev 51303
tuned proof;
src/HOL/IMPP/Natural.thy

2013-02-28 wenzelm [Thu, 28 Feb 2013 12:43:28 +0100] rev 51302
tuned whitespace and indentation;
src/Tools/quickcheck.ML

2013-02-28 wenzelm [Thu, 28 Feb 2013 12:24:24 +0100] rev 51301
simplified imports;
src/HOL/Library/Extended_Nat.thy src/HOL/Library/Extended_Real.thy src/HOL/Library/FrechetDeriv.thy src/HOL/Library/Phantom_Type.thy src/HOL/Library/Product_plus.thy src/HOL/Word/Misc_Numeric.thy