2010-03-02 wenzelm [Tue, 02 Mar 2010 23:59:54 +0100] rev 35427
proper (type_)notation;
src/HOL/Map.thy src/HOL/Product_Type.thy src/HOL/UNITY/Union.thy src/HOLCF/Cfun.thy src/HOLCF/Sprod.thy src/HOLCF/Ssum.thy src/HOLCF/Up.thy src/HOLCF/ex/Strict_Fun.thy src/ZF/Induct/Comb.thy src/ZF/UNITY/Union.thy

2010-03-02 wenzelm [Tue, 02 Mar 2010 23:56:13 +0100] rev 35426
proper antiquotations;
src/HOLCF/holcf_logic.ML

2010-03-02 wenzelm [Tue, 02 Mar 2010 22:20:19 +0100] rev 35425
standard convention for syntax consts;
src/ZF/List_ZF.thy

2010-03-02 wenzelm [Tue, 02 Mar 2010 22:18:51 +0100] rev 35424
more precise scope of exception handler;
src/Pure/Proof/extraction.ML

2010-03-01 wenzelm [Mon, 01 Mar 2010 21:41:35 +0100] rev 35423
eliminated hard tabs;
doc-src/Locales/Locales/Examples3.thy doc-src/Locales/Locales/document/Examples3.tex src/HOL/Imperative_HOL/Heap_Monad.thy src/HOL/Imperative_HOL/ex/Linked_Lists.thy src/HOL/Library/Transitive_Closure_Table.thy

2010-03-01 wenzelm [Mon, 01 Mar 2010 17:45:19 +0100] rev 35422
tuned final whitespace;
src/HOL/UNITY/WFair.thy src/HOL/ZF/LProd.thy src/HOL/ZF/MainZF.thy

2010-03-01 wenzelm [Mon, 01 Mar 2010 17:45:02 +0100] rev 35421
repaired 'definition' (cf. d8d7d1b785af);
src/HOL/Nitpick_Examples/Refute_Nits.thy

2010-03-01 wenzelm [Mon, 01 Mar 2010 17:14:39 +0100] rev 35420
merged

2010-03-01 krauss [Mon, 01 Mar 2010 17:05:57 +0100] rev 35419
more recdef (and old primrec) hunting
src/HOL/Hoare/Pointer_Examples.thy src/HOL/Hoare/Pointers0.thy src/HOL/Induct/Tree.thy src/HOL/ex/ReflectionEx.thy src/HOL/ex/ThreeDivides.thy

2010-03-01 krauss [Mon, 01 Mar 2010 16:42:45 +0100] rev 35418
killed recdefs in HOL-Auth
src/HOL/Auth/Guard/Extensions.thy src/HOL/Auth/Guard/Guard.thy src/HOL/Auth/Guard/GuardK.thy src/HOL/Auth/Guard/Guard_Public.thy src/HOL/Auth/Guard/List_Msg.thy src/HOL/Auth/Guard/P1.thy src/HOL/Auth/Guard/P2.thy