#1474 (Apr 5, 2018, 8:41:13 AM)

	Changes Using "irreducible" whenever possible, moved lemmas (detail / hgweb)
	Started by an SCM change
	This run spent: 9.7 sec waiting; 2 hr 59 min build duration; 2 hr 59 min total from scheduled to completion.
	Revision: bf2058f6b333fe279d8f2a2c95383ff35d8ba0a2
	Resume build

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