#1527 (Apr 18, 2018, 3:41:09 PM)

	Changes clean up LLL_Number_Bounds.thy (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: 407e2ec50fbe6081c960fd239af4b7b6a57b7164

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