#1204 (Nov 10, 2017, 4:26:08 AM)

	Changes added lemmas to Stone_Algebras/Lattice_Basics.thy (detail / hgweb)
	Started by an SCM change
	This run spent: 5.9 sec waiting; 1 hr 34 min build duration; 1 hr 34 min total from scheduled to completion.
	Revision: 9e830b82211745f23e846e368a541b9137233405
	Resume build

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