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

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

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

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

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

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

9 months 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

9 months 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

9 months ago wenzelm [Wed, 18 Jul 2018 17:01:12 +0200] rev 68650
evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
Admin/cronjob/self_update src/Pure/Admin/isabelle_cronjob.scala

9 months ago wenzelm [Wed, 18 Jul 2018 16:44:01 +0200] rev 68649
prefer HTTPS;
Admin/components/README README src/Doc/How_to_Prove_it/document/root.bib src/Doc/Locales/document/root.bib src/Doc/Logics/document/preface.tex src/Doc/Prog_Prove/document/intro-isabelle.tex src/Doc/Prog_Prove/document/root.bib src/Doc/Sledgehammer/document/root.tex src/Doc/Sugar/document/root.bib src/Doc/Tutorial/document/basics.tex src/Doc/Tutorial/document/fp.tex src/Doc/Tutorial/document/preface.tex src/Doc/manual.bib src/HOL/Lattice/document/root.bib src/HOL/MicroJava/document/introduction.tex src/HOL/MicroJava/document/root.bib src/HOL/NanoJava/document/root.bib src/HOL/NanoJava/document/root.tex src/HOL/ROOT src/HOL/Unix/document/root.bib