#831 (Apr 19, 2017, 1:43:03 PM)

	Changes Getting more efficient code for abbreviation @{term lead_coeff}", result of Isabelle 6f7391f28197 (detail / hgweb)
	Started by an SCM change
	This run spent: 8.5 sec waiting; 18 min build duration; 19 min total from scheduled to completion.
	Revision: da4aa36f420d48efa28972e135788e1581757d70
	Resume build

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