#1696 (Jun 19, 2018, 8:50:11 AM)

	Changes renamed lemma to avoid clash with lemma in HOL-Algebra (detail / hgweb)
	Started by an SCM change
	This run spent: 8.6 sec waiting; 27 min build duration; 27 min total from scheduled to completion.
	Revision: 799431bccfe846d74898badfe7de3290d0b57c51

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