#782 (Mar 17, 2017, 1:08:10 PM)

	Changes replaced or repaired proofs (by simp add: Complex_eq) (detail / hgweb)
	Started by an SCM change
	This run spent: 6.5 sec waiting; 32 min build duration; 32 min total from scheduled to completion.
	Revision: 7176b689c9db4bb4b1d07ae24401c1e62ffce3aa
	Resume build

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