7 months ago wenzelm [Wed, 12 Sep 2018 20:58:06 +0200] rev 68981
tuned signature;
src/Pure/Thy/thy_resources.scala src/Pure/Tools/dump.scala

7 months ago nipkow [Wed, 12 Sep 2018 18:44:31 +0200] rev 68980
added spaces because otherwise nonatomic arguments look awful: BIGf x -> BIG f x
src/HOL/Complete_Lattices.thy src/HOL/Lattices_Big.thy src/HOL/Library/Complete_Partial_Order2.thy src/HOL/Library/Lattice_Syntax.thy src/HOL/Library/Multiset.thy src/HOL/Library/Option_ord.thy src/HOL/Main.thy

7 months ago paulson [Wed, 12 Sep 2018 17:12:33 +0100] rev 68979
merged
src/HOL/HOL.thy

7 months ago paulson [Wed, 12 Sep 2018 12:51:52 +0100] rev 68978
merged

7 months ago paulson <lp15@cam.ac.uk> [Wed, 12 Sep 2018 12:51:43 +0100] rev 68977
tiny cleanup
src/HOL/Library/Omega_Words_Fun.thy

7 months ago paulson [Tue, 11 Sep 2018 16:22:04 +0100] rev 68976
merged

7 months ago paulson <lp15@cam.ac.uk> [Tue, 11 Sep 2018 16:21:54 +0100] rev 68975
A few new results, elimination of duplicates and more use of "pairwise"
src/HOL/Algebra/AbelCoset.thy src/HOL/Algebra/Chinese_Remainder.thy src/HOL/Algebra/Coset.thy src/HOL/Algebra/Group_Action.thy src/HOL/Algebra/Sym_Groups.thy src/HOL/Computational_Algebra/Formal_Power_Series.thy src/HOL/Finite_Set.thy src/HOL/Groups_Big.thy src/HOL/HOL.thy src/HOL/Hilbert_Choice.thy src/HOL/Hoare_Parallel/RG_Hoare.thy src/HOL/Library/Stirling.thy src/HOL/List.thy src/HOL/Probability/ex/Dining_Cryptographers.thy src/HOL/Zorn.thy

7 months ago nipkow [Wed, 12 Sep 2018 17:49:57 +0200] rev 68974
tuned
src/HOL/Data_Structures/Sorting.thy

7 months ago nipkow [Wed, 12 Sep 2018 16:12:50 +0200] rev 68973
tuned "=" syntax declarations; made "~=" uniformly "infix"
src/HOL/HOL.thy

7 months ago nipkow [Tue, 11 Sep 2018 22:25:00 +0200] rev 68972
tuned proof
src/HOL/Data_Structures/Sorting.thy