#874 (Apr 28, 2017, 12:05:10 PM)

	Changes extracted lemma gcd_of_int_poly from proof (detail / hgweb)
	Started by an SCM change
	This run spent: 8.4 sec waiting; 7 min 52 sec build duration; 8 min 0 sec total from scheduled to completion.
	Revision: 7bc5bcfc564f301aef3347c9246146322e77362d

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #874	( 7 min 33 sec )	Console Output