#616 (Nov 25, 2016, 4:05:09 PM)

	Changes Merge (detail / hgweb) use coinduction on <=; tuned proofs (detail / hgweb)
	Started by an SCM change
	This run spent: 6.1 sec waiting; 10 min build duration; 10 min total from scheduled to completion.
	Revision: ca5c69df4e3138045b1ca90e7317e2507da69365

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