#754 (Mar 7, 2017, 3:38:11 PM)

	Changes added simp rule + removed simp rule provable by simp (detail / hgweb)
	Started by an SCM change
	This run spent: 7.9 sec waiting; 5 min 22 sec build duration; 5 min 30 sec total from scheduled to completion.
	Revision: cbc3a86d3f50fe528f76bcf390cebf134cf515f7

S	R	Job	Build #	Duration	Console
		main
		afp-repo-afp	build #754	( 5 min 2 sec )	Console Output