#862 (Apr 25, 2017, 5:46:07 PM)

	Changes New material from PNT proof, as well as more default [simp] declarations. Also removed duplicate theorems about geometric series (detail / hgweb)
	Started by an SCM change
	This run spent: 5 min 5 sec waiting; 21 min build duration; 26 min total from scheduled to completion.
	Revision: e4997c181ccef3dc8b96ddf7ee60933d0189d3ea
	Resume build

Job	Build #	Duration	Console
main
isabelle-repo-makeall	build #862	( 21 min )	Console Output
isabelle-repo-afp	build #862	( 6 min 35 sec )	Console Output