#1673 (Jun 14, 2018, 11:11:08 PM)

	Changes Many fixes for updated HOL-Algebra (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 19 min build duration; 19 min total from scheduled to completion.
	Revision: a9bc557d50a35bf2b866147c7a0bb2f2cce3bff3
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1673	( 18 min )	Console Output