#765 (Mar 10, 2017, 12:59:10 PM)

	Changes added multiset lemma (detail / hgweb)
	Started by an SCM change
	This run spent: 8.1 sec waiting; 5 min 20 sec build duration; 5 min 28 sec total from scheduled to completion.
	Revision: a6cc29a6a6ca6134fc505264aac281cf31bfef8a

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