#1599 (May 18, 2018, 11:33:12 AM)

	Changes generalized d-mu lemma from < to <= (detail / hgweb)
	Started by an SCM change
	This run spent: 7.8 sec waiting; 11 min build duration; 11 min total from scheduled to completion.
	Revision: c975bc44abe5cbc0aa91e682807dc4c7c73fb798

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