#1503 (Apr 13, 2018, 5:50:08 PM)

	Changes merge (detail / hgweb) add LLL_Number_Bounds.thy (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 4 hr 16 min build duration; 4 hr 16 min total from scheduled to completion.
	Revision: cb4c8b9d54407f867df730c0b5c34bc227a0672f
	Resume build

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #1503	( 1 hr 43 min )	Console Output