#873 (Apr 28, 2017, 11:50:10 AM)

	Changes added lemma: algebraic_iff_represents (detail / hgweb)
	Started by an SCM change
	This run spent: 8.1 sec waiting; 7 min 57 sec build duration; 8 min 5 sec total from scheduled to completion.
	Revision: 1ba3ac53f9f08450841daec31f9f3104bdf03c24

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