#1089 (Sep 14, 2017, 4:35:11 PM)

	Changes moved several auxiliary lemmas of IsaFoR into AFP (detail / hgweb)
	Started by an SCM change
	This run spent: 8.1 sec waiting; 27 min build duration; 27 min total from scheduled to completion.
	Revision: 1dc20f1fd27989cf33a653f10cae3237109e0804

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