#531 (Nov 9, 2016, 2:17:10 PM)

	Changes strengthened theorem (detail / hgweb)
	Started by an SCM change
	This run spent: 7.7 sec waiting; 3 min 17 sec build duration; 3 min 25 sec total from scheduled to completion.
	Revision: 5afb46320ac9e417701423518dc70685b4f3b8dc

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #531	( 3 min 5 sec )	Console Output