#730 (Feb 19, 2017, 10:59:16 PM)

	Changes backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra (detail / hgweb)
	Started by an SCM change
	This run spent: 5.4 sec waiting; 1 hr 32 min build duration; 1 hr 32 min total from scheduled to completion.
	Revision: 901f6bfc80844443e3f48a912fb1ed7ff7cd6d31

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