2017-04-04 eberlm <eberlm@in.tum.de> [Tue, 04 Apr 2017 08:57:21 +0200] rev 65395
moved material from AFP to distribution
src/HOL/Analysis/Harmonic_Numbers.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Probability/Random_Permutations.thy

2017-04-05 wenzelm [Wed, 05 Apr 2017 22:29:09 +0200] rev 65394
merged

2017-04-05 wenzelm [Wed, 05 Apr 2017 22:25:18 +0200] rev 65393
misc tuning and modernization;
src/HOL/Number_Theory/Fib.thy

2017-04-05 wenzelm [Wed, 05 Apr 2017 22:00:44 +0200] rev 65392
uniform import_name, with treatment of global and qualified theories;
src/Pure/PIDE/resources.scala src/Pure/Thy/sessions.scala src/Pure/Thy/thy_header.scala src/Pure/Tools/build.scala

2017-04-05 wenzelm [Wed, 05 Apr 2017 11:39:36 +0200] rev 65391
tuned signature;
src/Pure/Thy/present.scala src/Pure/Thy/sessions.scala

2017-04-05 haftmann [Wed, 05 Apr 2017 13:47:41 +0200] rev 65390
more concise criterion
src/HOL/Library/Polynomial.thy src/HOL/Library/Polynomial_Factorial.thy

2017-04-05 haftmann [Wed, 05 Apr 2017 13:47:40 +0200] rev 65389
tuned
src/HOL/Library/Polynomial_Factorial.thy

2017-04-05 haftmann [Wed, 05 Apr 2017 13:47:38 +0200] rev 65388
more on lists
src/HOL/Library/More_List.thy

2017-04-05 Lars Hupel <lars.hupel@mytum.de> [Wed, 05 Apr 2017 10:26:28 +0200] rev 65387
store totality fact in function info
src/HOL/Tools/Function/function.ML src/HOL/Tools/Function/function_common.ML

2017-04-04 wenzelm [Tue, 04 Apr 2017 23:21:16 +0200] rev 65386
allow to load this into "isabelle jedit -l HOL";
src/ZF/ZF.thy