16 hours ago haftmann [Wed, 18 Jul 2018 20:51:23 +0200] rev 68660 default tip
slightly more canonical imports
src/HOL/Library/Lattice_Syntax.thy src/HOL/Quotient_Examples/Quotient_Int.thy src/HOL/ex/Computations.thy

16 hours ago haftmann [Wed, 18 Jul 2018 20:51:22 +0200] rev 68659
setup for Haskell taken over from AFP / Gauss_Jordan
src/HOL/Library/IArray.thy

16 hours ago haftmann [Wed, 18 Jul 2018 20:51:21 +0200] rev 68658
tuned equation
src/HOL/Library/IArray.thy

16 hours ago haftmann [Wed, 18 Jul 2018 20:51:20 +0200] rev 68657
restructured for future incorporation of Haskell
src/HOL/Library/IArray.thy

16 hours ago haftmann [Wed, 18 Jul 2018 20:51:19 +0200] rev 68656
slightly more uniform style
src/HOL/Library/IArray.thy

16 hours ago haftmann [Wed, 18 Jul 2018 20:51:17 +0200] rev 68655
taken over from AFP / Gauss_Jordan
src/HOL/Library/IArray.thy

16 hours ago haftmann [Wed, 18 Jul 2018 20:51:16 +0200] rev 68654
more cartouches
src/HOL/Library/IArray.thy

3 hours ago traytel [Thu, 19 Jul 2018 09:22:32 +0100] rev 68653
merged

3 hours ago traytel [Thu, 19 Jul 2018 09:10:22 +0100] rev 68652
normalize imports
src/HOL/Cardinals/Cardinal_Arithmetic.thy src/HOL/Cardinals/Cardinal_Order_Relation.thy src/HOL/Cardinals/Wellorder_Constructions.thy src/HOL/Cardinals/Wellorder_Embedding.thy src/HOL/Cardinals/Wellorder_Relation.thy

2 days ago Manuel Eberl <eberlm@in.tum.de> [Tue, 17 Jul 2018 12:23:37 +0200] rev 68651
tagged
src/HOL/Analysis/Infinite_Products.thy src/HOL/Analysis/Infinite_Set_Sum.thy src/HOL/Analysis/Jordan_Curve.thy